Age | Commit message (Expand) | Author |
---|---|---|
2016-11-06 | [copyright] copyright header style uniform | isle2983 |
2016-04-02 | devtools: Auto-set branch to merge to in github-merge | Wladimir J. van der Laan |
2016-03-23 | devtools: make github-merge.py use py3 | Wladimir J. van der Laan |
2016-01-27 | devtools: Fix utf-8 support in messages for github-merge | Wladimir J. van der Laan |
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 |