robbyrussell/oh-my-zsh — pull request #1514 by paulredmond (2012-12-23 05:09:15+00:00)
Title: Github Pull Request fetching and merging convenience functions

Provie a basic Pull Request review and merging workflow. This is a nice way to keep a clean history of pull request merges. It seemed to make sense to me to add these to the github plugin. Let me know if that works :smile:

Example:
```shell
# Creates a pr/5 branch, rebases develop
prfetch develop 5
# Test some stuff, play with the code, etc.
# Ready to merge. Checks out develop, merges branch pr/5, deletes pr/5 branch, push.
prmerge develop 5
```

More can be read about this particular workflow at http://derickrethans.nl/managing-prs-for-php-mongo.html