1
1
mirror of https://github.com/go-gitea/gitea synced 2025-11-10 08:18:12 +00:00
Files
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