David Svantesson 32fb813133 Allow repo admin to merge PR regardless of review status (#9611) ... * Allow repo admin to merge even if review is not ok.		2020-01-11 02:29:34 -05:00
..
convert.go
issue.go
main_test.go
pull.go	Move pull request api convert to convert package (#9664)	2020-01-10 15:53:53 +08:00
pull_test.go
utils.go