Wladimir J. van der Laan
|
1cd653cc54
|
Merge #7781: devtools: Auto-set branch to merge to in github-merge
10d3ae1 devtools: Auto-set branch to merge to in github-merge (Wladimir J. van der Laan)
|
2017-12-19 13:42:36 +01:00 |
|
Wladimir J. van der Laan
|
34701da5cb
|
Merge #7737: devtools: make github-merge.py use py3
f11c5a3 devtools: make github-merge.py use py3 (Wladimir J. van der Laan)
|
2017-12-19 13:18:30 +01:00 |
|
Wladimir J. van der Laan
|
b277eed58f
|
Merge #7425: devtools: Fix utf-8 support in messages for github-merge
c8a6c11 devtools: Fix utf-8 support in messages for github-merge (Wladimir J. van der Laan)
|
2017-12-11 08:08:48 +01:00 |
|
Wladimir J. van der Laan
|
577f683c5b
|
Merge #7402: [devtools] github-merge get toplevel dir without extra whitespace
5ed2f16 [devtools] github-merge get toplevel dir without extra whitespace (Andrew C)
|
2017-12-10 00:04:02 +01:00 |
|
Wladimir J. van der Laan
|
d9d9e95e42
|
Merge #7395: devtools: show pull and commit information in github-merge
17b5d38 devtools: show pull and commit information in github-merge (Wladimir J. van der Laan)
|
2017-12-10 00:04:02 +01:00 |
|
Wladimir J. van der Laan
|
3be77849d7
|
Merge pull request #7378
da6d18b devtools: replace github-merge with python version (Wladimir J. van der Laan)
|
2017-12-10 00:04:02 +01:00 |
|