Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

delete a merged pull request return 500 #19655

Closed
lunny opened this issue May 8, 2022 · 3 comments · Fixed by #20032
Closed

delete a merged pull request return 500 #19655

lunny opened this issue May 8, 2022 · 3 comments · Fixed by #20032
Labels
type/bug

Comments

@lunny
Copy link
Member

lunny commented 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'
@lunny lunny added the type/bug label May 8, 2022
@a1012112796
Copy link
Member

we can delete pull request now?

@lunny
Copy link
Member Author

lunny commented May 9, 2022

Yes.

@a1012112796
Copy link
Member

I see. ref: #18879

a1012112796 added a commit to a1012112796/gitea that referenced this issue Jun 19, 2022
@a1012112796
fix delete pull head ref for DeleteIssue
eb77538 
fix go-gitea#19655

Signed-off-by: a1012112796 <[email protected]>
@a1012112796 a1012112796 mentioned this issue Jun 19, 2022
Merged
lunny pushed a commit that referenced this issue Jun 19, 2022
@a1012112796 @6543
fix delete pull head ref for DeleteIssue (#20032)
cc42c64 
* fix delete pull head ref for DeleteIssue

fix #19655

Signed-off-by: a1012112796 <[email protected]>

* add different help message for delete pull request

Signed-off-by: a1012112796 <[email protected]>

Co-authored-by: 6543 <[email protected]>
a1012112796 added a commit to a1012112796/gitea that referenced this issue Jun 19, 2022
@a1012112796 @6543
fix delete pull head ref for DeleteIssue (go-gitea#20032)
b44645c 
* fix delete pull head ref for DeleteIssue

fix go-gitea#19655

Signed-off-by: a1012112796 <[email protected]>

* add different help message for delete pull request

Signed-off-by: a1012112796 <[email protected]>

Co-authored-by: 6543 <[email protected]>
@zeripath zeripath mentioned this issue Jun 19, 2022
Merged
zeripath pushed a commit that referenced this issue Jun 19, 2022
@a1012112796
Fix delete pull head ref for DeleteIssue (#20032) (#20034)
a4b1967 
Backport #20032 

In DeleteIssue the PR git head reference should be `/refs/pull/xxx/head` not `/refs/pull/xxx`

Fix #19655

Signed-off-by: a1012112796 <[email protected]>
vsysoev pushed a commit to IntegraSDL/gitea that referenced this issue Aug 10, 2022
@a1012112796 @6543
fix delete pull head ref for DeleteIssue (go-gitea#20032)
8b870c2 
* fix delete pull head ref for DeleteIssue

fix go-gitea#19655

Signed-off-by: a1012112796 <[email protected]>

* add different help message for delete pull request

Signed-off-by: a1012112796 <[email protected]>

Co-authored-by: 6543 <[email protected]>
AbdulrhmnGhanem pushed a commit to kitspace/gitea that referenced this issue Aug 24, 2022
@a1012112796 @6543 @AbdulrhmnGhanem
fix delete pull head ref for DeleteIssue (go-gitea#20032)
63f7a8a 
* fix delete pull head ref for DeleteIssue

fix go-gitea#19655

Signed-off-by: a1012112796 <[email protected]>

* add different help message for delete pull request

Signed-off-by: a1012112796 <[email protected]>

Co-authored-by: 6543 <[email protected]>
@go-gitea go-gitea locked and limited conversation to collaborators May 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
type/bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix delete pull head ref for DeleteIssue a1012112796/gitea
2 participants
@lunny @a1012112796