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. kevin
pgpaGwLBR5Wmm.pgp
Description: OpenPGP digital signature
-- devel mailing list devel@lists.fedoraproject.org http://lists.fedoraproject.org/admin/lists/devel@lists.fedoraproject.org
