Learn more about these different git repos.
Other Git URLs
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
to comment on this ticket.