ddmt/gitdts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
2677d071f911fb91f382acfedaedc251bd807f70
gitdts/routers/api/v1/repo/pull.go
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

23 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink