You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jimmy Praet 78118a3b02 Add checkbox to delete pull branch after successful merge (#16049) ... * 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>		4 years ago
..
archiver	Rework repository archive (#14723)	4 years ago
auth	Fix various documentation, user-facing, and source comment typos (#16367)	4 years ago
comments	Enhance Ghost comment mitigation Settings (#14392)	4 years ago
externalaccount	Allow externalID to be UUID (#8551)	5 years ago
forms	Add checkbox to delete pull branch after successful merge (#16049)	4 years ago
gitdiff	Use gitea logging module for git module (#16243)	4 years ago
issue	Fix various documentation, user-facing, and source comment typos (#16367)	4 years ago
lfs	Rewrite of the LFS server (#15523)	4 years ago
mailer	Fix various documentation, user-facing, and source comment typos (#16367)	4 years ago
mirror	Add push to remote mirror repository (#15157)	4 years ago
pull	Add checkbox to delete pull branch after successful merge (#16049)	4 years ago
release	Add tag protection (#15629)	4 years ago
repository	Implemented head_commit for webhooks (#16282)	4 years ago
webhook	Refactor Webhook + Add X-Hub-Signature (#16176)	4 years ago
wiki	Fix various documentation, user-facing, and source comment typos (#16367)	4 years ago