View definition

(*PullRequest).Merge

Defined in github.com/gogits/gogs/models/pull.go

Description

Merge merges pull request to base repository. FIXME: add repoWorkingPull make sure two merges does not happen at same time.