Edit a batch of GitHub pull requests