Wladimir J. van der Laan
9c8c12ed47
devtools: Fix a syntax error typo
...
Fix a typo introduced in #9880 causing the script to not even parse.
2019-02-04 19:58:17 -06:00
Wladimir J. van der Laan
6addbe0747
Merge #9880 : Verify Tree-SHA512s in merge commits, enforce sigs are not SHA1
...
bbd7579
Fix regsig checking for subkey sigs in verify-commits (Matt Corallo)
d025bc7
Allow any subkey in verify-commits (Matt Corallo)
eddc77a
Add comment re: why SHA1 is disabled (Peter Todd)
d9c450f
Verify Tree-SHA512s in merge commits, enforce sigs are not SHA1 (Matt Corallo)
be908a6
Fail merge if there are any symlinks (Matt Corallo)
Tree-SHA512: bb66c59cc1c6b1c86d7d8be7adb0769c6598c0e28ad927409941f30af87d390521e82fc13700ee22e92db1bd571db3e19a152ec7b2c0349c6e06f5de62c0b65f
2019-02-04 19:58:07 -06:00
Wladimir J. van der Laan
8944b5a784
Merge #9905 : [contrib] gh-merge: Move second sha512 check to the end
...
fa7da3f
[contrib] gh-merge: Move second sha512 check to before signing (MarcoFalke)
Tree-SHA512: b3d96f928a013f6fdc416035b8ef5cd7c750ab0922156e1fd712cd27ec75847497109f43a96559b945ba11ad43b5644ed9c1de695590ff608658628fb57b1571
2019-02-01 00:41:21 -06:00
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