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
8 years
Peter Bennett
Add link to useful git commands
4
8 years
Bill Meek
3
9 years
Karl Egly
reorder cherry-picking and merging, because the latter has better …
2
9 years
Karl Egly
add command to handle a pull request by merging the branch
1
11 years
JYA