Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Roadmap
Browse Source
View Tickets
Search
Context Navigation
Back to GitHubPullRequests
Change History for
GitHubPullRequests
Version
Date
Author
Comment
5
6 years
Peter Bennett
Add link to useful git commands
4
6 years
Bill Meek
3
7 years
Karl Egly
reorder cherry-picking and merging, because the latter has better …
2
7 years
Karl Egly
add command to handle a pull request by merging the branch
1
9 years
JYA