#6333: delete errant rhos-8.0-rhel-7 from erlang dist-git ----------------------+------------------------ Reporter: jeckersb | Owner: rel-eng@… Type: task | Status: new Milestone: | Component: git Keywords: | Blocked By: Blocking: | ----------------------+------------------------ 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!
http://pkgs.fedoraproject.org/cgit/rpms/erlang.git/log/?h=rhos-8.0-rhel-7
Thanks!
#6333: delete errant rhos-8.0-rhel-7 from erlang dist-git -----------------------+----------------------- Reporter: jeckersb | Owner: rel-eng@… Type: task | Status: new Milestone: | Component: git Resolution: | Keywords: Blocked By: | Blocking: -----------------------+-----------------------
Comment (by till):
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.
#6333: delete errant rhos-8.0-rhel-7 from erlang dist-git -----------------------+----------------------- Reporter: jeckersb | Owner: rel-eng@… Type: task | Status: closed Milestone: | Component: git Resolution: wontfix | Keywords: Blocked By: | Blocking: -----------------------+----------------------- Changes (by ausil):
* status: new => closed * resolution: => wontfix
Comment:
since there has been no response closing the ticket
rel-eng@lists.fedoraproject.org