Commit Graph

5 Commits (e01b782f33aa062cc02a5201ef45bf1f91eb4546)

Author SHA1 Message Date
Jimmy Praet 78118a3b02
Add checkbox to delete pull branch after successful merge (#16049) 3 years ago
zeripath 0973c03601
Handle more pathological branch and tag names (#11843) 5 years ago
6543 a291a0eddc
Prevent deadlock in pull_service.GetDiverging(pr) (#10905) 5 years ago
Lunny Xiao 5abe1c52de
Display pull request head branch even the branch deleted or repository deleted (#10413) 5 years ago
zeripath 74179d1b5e Remove SavePatch and generate patches on the fly (#9302) 5 years ago