Issue #6333: delete errant rhos-8.0-rhel-7 from erlang dist-git - releng

releng

#6333 delete errant rhos-8.0-rhel-7 from erlang dist-git

Closed: Invalid None Opened 8 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!

http://pkgs.fedoraproject.org/cgit/rpms/erlang.git/log/?h=rhos-8.0-rhel-7

Thanks!

till commented 8 years ago

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.

ausil commented 7 years ago

since there has been no response closing the ticket

Metadata

Assignee

None

Tags

None

Blocking

None

Depending on

None

Milestone

None

duplicate

None

blockedby

None

blocking

None

releng

Source Code

Documentation

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

Metadata

#6333 delete errant rhos-8.0-rhel-7 from erlang dist-git

Closed: Invalid None Opened 8 years ago by jeckersb.