github/gitea
1
0
Fork 0
mirror of https://github.com/go-gitea/gitea.git synced 2026-07-08 08:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
252adc912dfdcfb4e4d235a020844db351556d84
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