#6333 delete errant rhos-8.0-rhel-7 from erlang dist-git
Closed: Invalid None Opened 5 years ago by jeckersb.

I accidentally pushed a rhos-8.0-rhel-7 branch to the fedora remote on the erlang repo, and the commit hook won't let me delete it by pushing an empty ref overtop. Please delete this branch manually (or better, tell me how to delete it if I can do it myself!



We can only delete branches if they are merged into other branches to make sure that no commits used for build a package gets lost. If you merge the branch for example into the epel7 branch, I can delete it for you.

since there has been no response closing the ticket

Login to comment on this ticket.