How I land pull requests

pulls.sh

git checkout master
git pull -r
git checkout $remote/$branch
git rebase master # Ensure it'll merge cleanly
git checkout -b Pull$number
git diff master # Eyeball the diff locally.
git log -1 | grep Author
git checkout master
git merge --squash Pull432 # Wrap it up into one commit.
git commit --author="$author_name_and_email" # Give author credit.
# Write the commit message, keep the squashed comments for future historians.
git push origin master