TRKJ/gitea
2
0
Fork 0
mirror of https://gitee.com/gitea/gitea synced 2025-12-20 15:36:37 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
4c12e2a4b90237a8687b497ae14a402346b0406d
gitea/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