Browse Source
Branches not at ref commit ID should not be listed as Merged (#9614)
Branches not at ref commit ID should not be listed as Merged (#9614)
Once a branch has been merged if the commit ID no longer equals that of the pulls ref commit id don't offer to delete the branch on the pull screen and don't list it as merged on branches. Fix #9201 When looking at the pull page we should also get the commits from the refs/pulls/x/head Fix #9158lunny/display_deleted_branch2
committed by
GitHub
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
10 changed files with 107 additions and 34 deletions
-
BINintegrations/gitea-repositories-meta/user2/repo1.git/objects/00/750edc07d6415dcc07ae0351e9397b0222b7ba
-
BINintegrations/gitea-repositories-meta/user2/repo1.git/objects/4a/357436d925b5c974181ff12a994538ddc5a269
-
BINintegrations/gitea-repositories-meta/user2/repo1.git/objects/dc/7a8ba127fee870dd683310ce660dfe59333a1b
-
1integrations/gitea-repositories-meta/user2/repo1.git/refs/pull/3/head
-
2models/pull.go
-
44routers/repo/branch.go
-
5routers/repo/issue.go
-
79routers/repo/pull.go
-
6templates/repo/branch/list.tmpl
-
4templates/repo/issue/view_content/pull.tmpl
@ -0,0 +1 @@ |
|||
4a357436d925b5c974181ff12a994538ddc5a269 |
Write
Preview
Loading…
Cancel
Save
Reference in new issue