delete a merged pull request return 500 #8930

Closed
opened 2025-11-02 08:23:26 -06:00 by GiteaMirror · 3 comments
Owner

Originally created by @lunny on GitHub (May 8, 2022).

exit status 1 - error: cannot lock ref 'refs/pull/2': 'refs/pull/2/head' exists; cannot create 'refs/pull/2'
 - error: cannot lock ref 'refs/pull/2': 'refs/pull/2/head' exists; cannot create 'refs/pull/2'
Originally created by @lunny on GitHub (May 8, 2022). ``` exit status 1 - error: cannot lock ref 'refs/pull/2': 'refs/pull/2/head' exists; cannot create 'refs/pull/2' - error: cannot lock ref 'refs/pull/2': 'refs/pull/2/head' exists; cannot create 'refs/pull/2' ```
GiteaMirror added the type/bug label 2025-11-02 08:23:26 -06:00
Author
Owner

@a1012112796 commented on GitHub (May 9, 2022):

we can delete pull request now?

@a1012112796 commented on GitHub (May 9, 2022): we can delete pull request now?
Author
Owner

@lunny commented on GitHub (May 9, 2022):

Yes.

@lunny commented on GitHub (May 9, 2022): Yes.
Author
Owner

@a1012112796 commented on GitHub (May 9, 2022):

I see. ref: https://github.com/go-gitea/gitea/pull/18879

@a1012112796 commented on GitHub (May 9, 2022): I see. ref: https://github.com/go-gitea/gitea/pull/18879
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#8930