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