index
:
slackcoder/bitcoin
master
show-current
Bitcoin Code integration/staging tree
Mirror
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
contrib
/
devtools
/
github-merge.py
Age
Commit message (
Expand
)
Author
2018-04-16
Minor Python cleanups to make flake8 pass with the new rules enabled
practicalswift
2018-03-29
Remove assigned but never used local variables
practicalswift
2017-09-05
github-merge: Coalesce git fetches
Wladimir J. van der Laan
2017-08-28
Use print(...) instead of undefined printf(...)
practicalswift
2017-08-28
Use sys.exit(...) instead of exit(...): exit(...) should not be used in programs
practicalswift
2017-07-10
Add PR description to merge commit in github-merge.py
Pieter Wuille
2017-05-31
devtools: Retry after signing fails in github-merge
Wladimir J. van der Laan
2017-05-02
Remove unused Python imports
practicalswift
2017-04-21
contrib: github-merge improvements
Wladimir J. van der Laan
2017-03-13
devtools: Make github-merge compute SHA512 from git, instead of worktree
Wladimir J. van der Laan
2017-03-07
devtools: Fix a syntax error typo
Wladimir J. van der Laan
2017-03-06
Merge #9880: Verify Tree-SHA512s in merge commits, enforce sigs are not SHA1
Wladimir J. van der Laan
2017-03-03
[contrib] gh-merge: Move second sha512 check to before signing
MarcoFalke
2017-03-01
Fail merge if there are any symlinks
Matt Corallo
2017-02-26
Add SHA512 tree hash to merge commits
Pieter Wuille
2017-01-13
Remove unused Python imports
practicalswift
2016-11-06
[copyright] copyright header style uniform
isle2983
2016-04-02
devtools: Auto-set branch to merge to in github-merge
Wladimir J. van der Laan
2016-03-23
devtools: make github-merge.py use py3
Wladimir J. van der Laan
2016-01-27
devtools: Fix utf-8 support in messages for github-merge
Wladimir J. van der Laan
2016-01-25
Merge #7402: [devtools] github-merge get toplevel dir without extra whitespace
Wladimir J. van der Laan
2016-01-25
[devtools] github-merge get toplevel dir without extra whitespace
Andrew C
2016-01-22
devtools: show pull and commit information in github-merge
Wladimir J. van der Laan
2016-01-20
devtools: replace github-merge with python version
Wladimir J. van der Laan