Somehow I messed up the rpms/valgrind git repo by trying to update a pull request. There is now a pull/20 branch in the repository and when I try to pull I get:
fatal: Cannot fetch both refs/heads/pull/20 and refs/pull/20/head to refs/remotes/origin/pull/20
I don't seem able to remove this (now remote) branch myself. Could you remove it for me?
It can be seen here: https://src.fedoraproject.org/rpms/valgrind/tree/pull/20
Metadata Update from @phsmoura: - Issue priority set to: Waiting on Assignee (was: Needs Review) - Issue tagged with: medium-gain, medium-trouble, ops
Metadata Update from @zlopez: - Issue assigned to zlopez
The branch is now gone. I noticed that there is pr/4 branch as well, is that also a mistake?
pr/4
Thanks! And oops yes, that "pr/4" branch is also a mistake. Sorry for messing up that repo so much.
That one is also gone! :-)
Closing this ticket as fixed and adding a guide for anybody (you need access to dist-git server) who wants to fix that in future.
Metadata Update from @zlopez: - Issue close_status updated to: Fixed with Explanation - Issue status updated to: Closed (was: Open)
Log in to comment on this ticket.