This website requires JavaScript.
Explore
Help
Sign In
ddmt
/
gitdts
Watch
1
Star
0
Fork
0
You've already forked gitdts
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
9eb67935762fa64c863035379e159f36aa0033bc
gitdts
/
modules
/
convert
/
convert.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
10 KiB
Raw
Blame
History
View Raw
Reference in New Issue
View Git Blame
Copy Permalink