Hi all! We are using pull requests against the github mirror.
Once we merged the patch represented by the pull request, we cannot close the pull request, or change any status. We need to wait the user that opened the pull request to close it. This will probably lead to a lot of lingering pull requests and we need to manually cross check with jira to figure out whether pull requests are merged or not. It would be nice if committers had the permission to close pull requests against the github mirror repository. Has anyone experiences with that? Thanks, Stephan
