Wladimir J. van der Laan
|
3d1a0b3abc
|
Merge #9871: Add a tree sha512 hash to merge commits
fa89670 Add SHA512 tree hash to merge commits (Pieter Wuille)
Tree-SHA512: 72321597336d3c4957719c8b907f258814b01499a82d2bc1e8c678b8825461d95f23b42ff6868a25725f4bfc3da24f7b12c058b45cbc7a7dfbf668888b68274e
|
2019-01-22 22:56:01 -06:00 |
|
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 |
|