Skip to content

Add methods to close GitHub pull requests

Warren Gifford requested to merge github/close-pr into master

Created by: mrnugget

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

Merge request reports