Change History for GitHubPullRequests

Version Date Author Comment
5 7 years Peter Bennett Add link to useful git commands
4 7 years Bill Meek
3 8 years Karl Egly reorder cherry-picking and merging, because the latter has better …
2 8 years Karl Egly add command to handle a pull request by merging the branch
1 9 years JYA