github-forks
/
gitea
mirror of https://github.com/go-gitea/gitea.git
1
0
Fork 0
Code Projects Releases Activity
gitea/services/pull
History
Jimmy Praet 78118a3b02
Add checkbox to delete pull branch after successful merge () 
* Add checkbox to delete pull branch after successful merge

* Omit DeleteBranchAfterMerge field in json

* Log a warning instead of error when PR head branch deleted

* Add DefaultDeleteBranchAfterMerge to PullRequestConfig

* Add support for delete_branch_after_merge via API

* Fix for API: the branch should be deleted from the HEAD repo

If head and base repo are the same, reuse the already opened ctx.Repo.GitRepo

* Don't delegate to CleanupBranch, only reuse branch deletion code

CleanupBranch contains too much logic that has already been performed by the Merge

* Reuse gitrepo in MergePullRequest

Co-authored-by: Andrew Thornton <art27@cantab.net>
..
check.go Remove unnecessary goroutine ()
check_test.go Multiple Queue improvements: LevelDB Wait on empty, shutdown empty shadow level queue, reduce goroutines etc ()
commit_status.go [Refactor] CombinedStatus and CommitStatus related functions & structs ()
lfs.go Add LFS Migration and Mirror ()
main_test.go Move some pull request functions from models to services ()
merge.go Always set the merge base used to merge the commit ()
patch.go Make manual merge autodetection optional and add manual merge as merge method ()
pull.go Add checkbox to delete pull branch after successful merge ()
pull_test.go Append to existing trailers in generated squash commit message ()
review.go Add attachments for PR reviews ()
temp_repo.go Add checkbox to delete pull branch after successful merge ()
update.go Add checkbox to delete pull branch after successful merge ()