On Sun, Feb 14, 2016 at 01:09:33PM -0700, Kevin Fenzi wrote: > On Sun, 14 Feb 2016 10:58:31 -0500 > Randy Barlow <ra...@electronsweatshop.com> wrote: > > > Hello! > > > > I've been working on a big change to a package's spec file, so I > > wanted to do my work in a branch separate of master or f23. Now that > > I am done with my branch, it seems that I cannot delete the branch > > > > $ git push origin :rbarlow-16.01 > > remote: FATAL: + refs/heads/rbarlow-16.01 rpms/ejabberd rbarlow DENIED > > by fallthru > > remote: error: hook declined to update refs/heads/rbarlow-16.01 > > > > Is there a way for me to remove this branch, or is it going to be > > there permanently? > > Currently there's not a way to remove it. > > We need to get it to where we can say for sure no official build ever > happened from that branch before we remove it. I think the plan was to > restrict builds to only "normal" branches, but I don't think thats yet > in place. Maybe it would be possible to allow removals of branches whose tip commit it rechable from another branch? IIUC, you don't need the actual branch, just the commit from which something was built.
Zbyszek -- devel mailing list devel@lists.fedoraproject.org http://lists.fedoraproject.org/admin/lists/devel@lists.fedoraproject.org
