MarcoFalke
|
be63fb7953
|
Merge #9508: Remove unused Python imports
95bab82 Remove unused Python imports (practicalswift)
|
2018-01-21 12:48:33 +01:00 |
|
Wladimir J. van der Laan
|
9d661f4337
|
Merge #8675: Make copyright header lines uniform
4b04e32 [copyright] copyright header style uniform (isle2983)
|
2018-01-13 13:44:39 +01:00 |
|
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 |
|