diff options
author | Bwko <bouwko@gmail.com> | 2017-02-05 14:07:44 +0100 |
---|---|---|
committer | Lunny Xiao <xiaolunwen@gmail.com> | 2017-02-05 21:07:44 +0800 |
commit | bf647ce14384e2b115843c6999437b02fe2da0e5 (patch) | |
tree | 2a0eabe4e7f5643a33438a33d5cdce0493f23b0c /models/token.go | |
parent | 17c5e12e6e66da987677384dc734da7c69d1104e (diff) | |
download | gitea-bf647ce14384e2b115843c6999437b02fe2da0e5.tar.gz gitea-bf647ce14384e2b115843c6999437b02fe2da0e5.zip |
Check for manual merging of a pull request (#719)
When an open pull request got manually merged mark the pull request as
merged
Diffstat (limited to 'models/token.go')
0 files changed, 0 insertions, 0 deletions