18 Commits (0aadc11fd88b298c7af2dfb69763b2c67dc6b7b0)

Author SHA1 Message Date
Wladimir J. van der Laan 1983c8772c devtools: Retry after signing fails in github-merge 8 years ago
practicalswift 0c60c63de0 Remove unused Python imports 8 years ago
Wladimir J. van der Laan b508424104 contrib: github-merge improvements 8 years ago
Wladimir J. van der Laan a327e8ea30 devtools: Make github-merge compute SHA512 from git, instead of worktree 8 years ago
Wladimir J. van der Laan 309bf16257
devtools: Fix a syntax error typo 8 years ago
MarcoFalke fa7da3fd96 [contrib] gh-merge: Move second sha512 check to before signing 8 years ago
Matt Corallo be908a69bf Fail merge if there are any symlinks 8 years ago
Pieter Wuille fa89670d34 Add SHA512 tree hash to merge commits 8 years ago
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
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