6 Commits (4f7c959af1672f9f51122867dca48ac4fa454d75)

Author SHA1 Message Date
Wladimir J. van der Laan f11c5a3cbd devtools: make github-merge.py use py3 9 years ago
Wladimir J. van der Laan c8a6c11d6d devtools: Fix utf-8 support in messages for github-merge 9 years ago
Andrew C 5ed2f16480 [devtools] github-merge get toplevel dir without extra whitespace 9 years ago
Wladimir J. van der Laan 17b5d3896f devtools: show pull and commit information in github-merge 9 years ago
Wladimir J. van der Laan da6d18b6c7 devtools: replace github-merge with python version 9 years ago