Commit Graph

30 Commits (516437a1b70b6df87faadfd38c3d84e6dfb5eae8)

Author SHA1 Message Date
Wladimir J. van der Laan f1bd219a5b contrib: Allow use of github API authentication in github-merge
6 years ago
Wladimir J. van der Laan a4c5bbfcd3 contrib: Add support for http[s] URLs in github-merge
6 years ago
Wladimir J. van der Laan 059a3cffdf contrib: Detailed reporting for http errors in github-merge
6 years ago
practicalswift 4de11a3682 Remove Python 2 import workarounds
6 years ago
Daniel Ingram 16d2937723 Handle exception as ImportError
6 years ago
practicalswift 634bd97001 Explicitly specify encoding when opening text files in Python code
7 years ago
practicalswift f020aca297 Minor Python cleanups to make flake8 pass with the new rules enabled
7 years ago
practicalswift 169f3e8637 Remove assigned but never used local variables
7 years ago
Wladimir J. van der Laan dabee00ef1 github-merge: Coalesce git fetches
7 years ago
practicalswift 51cb6b8221 Use print(...) instead of undefined printf(...)
7 years ago
practicalswift 25cd520fc4 Use sys.exit(...) instead of exit(...): exit(...) should not be used in programs
7 years ago
Pieter Wuille 475c08cb44 Add PR description to merge commit in github-merge.py
7 years ago
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
Wladimir J. van der Laan 4df8213b98
Merge #9880: Verify Tree-SHA512s in merge commits, enforce sigs are not SHA1
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
Wladimir J. van der Laan 6a5932bf2a
Merge #7402: [devtools] github-merge get toplevel dir without extra whitespace
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