#12363 Messed up rpm/valgrind pull request/branch
Closed: Fixed with Explanation 24 days ago by zlopez. Opened a month ago by mjw.

Describe what you would like us to do:


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

24 days ago

Metadata Update from @zlopez:
- Issue assigned to zlopez

24 days ago

The branch is now gone. I noticed that there is pr/4 branch as well, is that also a mistake?

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)

24 days ago

Log in to comment on this ticket.

Metadata
Boards 1
ops Status: Backlog