Merge pull request #1983 from kounoike/pr-close-pr-by-push
close and mark as merged PR by pushed commits |
---|
src/main/scala/gitbucket/core/service/PullRequestService.scala |
---|
src/main/scala/gitbucket/core/servlet/GitRepositoryServlet.scala |
---|