Delete branch failed after PR merged. #1211

Closed
opened 2025-11-02 03:52:36 -06:00 by GiteaMirror · 2 comments
Owner

Originally created by @lunny on GitHub (Nov 5, 2017).

#image

Steps:

  1. Create a PR,
  2. Push the PR's commits to master, Then push to the PR's branch. The PR will be automatically merged, it works fine.
  3. Click delete branch on the merged PR, but it shows failed as the screenshot.
Originally created by @lunny on GitHub (Nov 5, 2017). #![image](https://user-images.githubusercontent.com/81045/32411627-0f6f23b0-c21b-11e7-93c5-d15ee51849fc.png) Steps: 1. Create a PR, 2. Push the PR's commits to master, Then push to the PR's branch. The PR will be automatically merged, it works fine. 3. Click `delete branch` on the merged PR, but it shows failed as the screenshot.
GiteaMirror added the type/bug label 2025-11-02 03:52:36 -06:00
Author
Owner

@lafriks commented on GitHub (Nov 5, 2017):

@lunny I think it could be related to #2797

@lafriks commented on GitHub (Nov 5, 2017): @lunny I think it could be related to #2797
Author
Owner

@lunny commented on GitHub (Nov 25, 2017):

It seems it's resolved but I don't know which PR fixed this.

@lunny commented on GitHub (Nov 25, 2017): It seems it's resolved but I don't know which PR fixed this.
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#1211