Landing a pull request from Github can be messy. You can push the merge button, but that'll result in a messy commit stream and external ticket trackers that don't automatically close tickets.
Additionally you can pull the code and squash it down into a single commit, which lets you format the commit nicely (closing tickets on external trackers) - but it fails to properly close the pull request.
Pulley is a tool that uses the best aspects of both techniques. Pull requests are pulled and merged into your project. The code is then squashed down into a single commit and nicely formatted with appropriate bug numbers and links. Finally the commit is pushed and the pull request is closed with a reference to the commit.
Make sure you have Node.js and then run
npm install -g pulley in Terminal.
Open the target repo in Terminal and run
pulley PID, where PID is the Pull Request ID.
In order to test your changes to pulley, you need the ability to:
Essentially, you need your own repo, and the ability to issue pull requests against that repo. Fortunately, GitHub allows you to issue pull requests against your own repo from one branch to another. Here are the steps:
testbranch to another branch named
test-1branch on your fork of pulley
teston your own repo
Please lend a hand!