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
..
comments	…
externalaccount	…
gitdiff	…
issue	…
mailer	…
mirror	…
pull	Allow repo admin to merge PR regardless of review status (#9611)	2020-01-11 02:29:34 -05:00
release	…
repository	…
wiki	…