Commit Graph

9 Commits (f19afdbfb4cb2223d492d5e7d4087567af9d5f28)

Author SHA1 Message Date
practicalswift 95bab821b3 Remove unused Python imports
8 years ago
isle2983 4b04e32c20 [copyright] copyright header style uniform
8 years ago
Wladimir J. van der Laan 10d3ae102a devtools: Auto-set branch to merge to in github-merge
9 years ago
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
Wladimir J. van der Laan 6a5932bf2a
Merge #7402: [devtools] github-merge get toplevel dir without extra whitespace
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