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
..
2017-01-25 10:43:02 +08:00
2015-12-08 00:57:46 +01:00
2019-01-23 13:58:38 -05:00