Armand Grillet fc685f92b6 Allow deleting of local branch after merging cross repo PRs (#7709)		2023-07-25 09:03:33 -07:00
..
http.go	Added flag to pr merge allowing the selection of the merge commit email	2022-10-01 12:16:05 -05:00
merge.go	Allow deleting of local branch after merging cross repo PRs (#7709)	2023-07-25 09:03:33 -07:00
merge_test.go	Allow deleting of local branch after merging cross repo PRs (#7709)	2023-07-25 09:03:33 -07:00