Commit Graph

5 Commits (56b7f53329afa913055f5157537614b80d2d4e30)

Author SHA1 Message Date
Jimmy Praet 78118a3b02
Add checkbox to delete pull branch after successful merge (#16049) 4 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