Mislav Marohnić 6e5a90821c pr merge: handle case when a cross-repo PR was already merged ... In this case, do not ever offer to delete the branch.		2021-01-18 19:49:20 +01:00
..
merge.go	pr merge: handle case when a cross-repo PR was already merged	2021-01-18 19:49:20 +01:00
merge_test.go	pr merge: handle case when a cross-repo PR was already merged	2021-01-18 19:49:20 +01:00