Age | Commit message (Expand) | Author |
---|---|---|
2016-01-25 | Merge #7402: [devtools] github-merge get toplevel dir without extra whitespace | Wladimir J. van der Laan |
2016-01-25 | [devtools] github-merge get toplevel dir without extra whitespace | Andrew C |
2016-01-22 | devtools: show pull and commit information in github-merge | Wladimir J. van der Laan |
2016-01-20 | devtools: replace github-merge with python version | Wladimir J. van der Laan |