Skip to content

Add methods to close GitHub pull requests

Administrator requested to merge github/close-pr into master

Created by: mrnugget

This is part of #7082. I split the PRs up for easier reviewing.

Merge request reports