ddmt/gitdts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
80f900ebae5c52f736f667a81bbc1ab815344efc
gitdts/models/pull.go
Bwko bf647ce143 Check for manual merging of a pull request (#719) 
When an open pull request got manually merged mark the pull request as
merged
2017-02-05 21:07:44 +08:00

33 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink