Added to Committer how-to: Closing GitHub PR requests without merging
1 file changed