index
:
discoin
1.10-archive
1.14-maint
1.14.4-dev
1.14.5-dev
1.17-dev
1.18-dev
1.21-dev
1.4-archive
1.6-archive
1.7-archive
1.8-archive
1.8-safemode
master
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
contrib
/
devtools
/
github-merge.py
Commit message (
Expand
)
Author
Age
Files
Lines
*
contrib: Allow use of github API authentication in github-merge
Wladimir J. van der Laan
2019-01-14
1
-2
/
+6
*
contrib: Add support for http[s] URLs in github-merge
Wladimir J. van der Laan
2019-01-14
1
-1
/
+4
*
contrib: Detailed reporting for http errors in github-merge
Wladimir J. van der Laan
2019-01-14
1
-0
/
+6
*
Remove Python 2 import workarounds
practicalswift
2018-12-13
1
-5
/
+1
*
Handle exception as ImportError
Daniel Ingram
2018-12-09
1
-1
/
+1
*
Explicitly specify encoding when opening text files in Python code
practicalswift
2018-06-12
1
-1
/
+1
*
Minor Python cleanups to make flake8 pass with the new rules enabled
practicalswift
2018-04-16
1
-1
/
+2
*
Remove assigned but never used local variables
practicalswift
2018-03-29
1
-9
/
+9
*
github-merge: Coalesce git fetches
Wladimir J. van der Laan
2017-09-05
1
-7
/
+3
*
Use print(...) instead of undefined printf(...)
practicalswift
2017-08-28
1
-2
/
+2
*
Use sys.exit(...) instead of exit(...): exit(...) should not be used in programs
practicalswift
2017-08-28
1
-18
/
+19
*
Add PR description to merge commit in github-merge.py
Pieter Wuille
2017-07-10
1
-0
/
+2
*
devtools: Retry after signing fails in github-merge
Wladimir J. van der Laan
2017-05-31
1
-2
/
+1
*
Remove unused Python imports
practicalswift
2017-05-02
1
-1
/
+1
*
contrib: github-merge improvements
Wladimir J. van der Laan
2017-04-21
1
-29
/
+26
*
devtools: Make github-merge compute SHA512 from git, instead of worktree
Wladimir J. van der Laan
2017-03-13
1
-8
/
+37
*
devtools: Fix a syntax error typo
Wladimir J. van der Laan
2017-03-07
1
-1
/
+1
*
Merge #9880: Verify Tree-SHA512s in merge commits, enforce sigs are not SHA1
Wladimir J. van der Laan
2017-03-06
1
-0
/
+14
|
\
|
*
Fail merge if there are any symlinks
Matt Corallo
2017-03-01
1
-0
/
+14
*
|
[contrib] gh-merge: Move second sha512 check to before signing
MarcoFalke
2017-03-03
1
-4
/
+5
|
/
*
Add SHA512 tree hash to merge commits
Pieter Wuille
2017-02-26
1
-3
/
+43
*
Remove unused Python imports
practicalswift
2017-01-13
1
-1
/
+1
*
[copyright] copyright header style uniform
isle2983
2016-11-06
1
-1
/
+1
*
devtools: Auto-set branch to merge to in github-merge
Wladimir J. van der Laan
2016-04-02
1
-12
/
+22
*
devtools: make github-merge.py use py3
Wladimir J. van der Laan
2016-03-23
1
-7
/
+13
*
devtools: Fix utf-8 support in messages for github-merge
Wladimir J. van der Laan
2016-01-27
1
-3
/
+3
*
Merge #7402: [devtools] github-merge get toplevel dir without extra whitespace
Wladimir J. van der Laan
2016-01-25
1
-1
/
+1
|
\
|
*
[devtools] github-merge get toplevel dir without extra whitespace
Andrew C
2016-01-25
1
-1
/
+1
*
|
devtools: show pull and commit information in github-merge
Wladimir J. van der Laan
2016-01-22
1
-0
/
+12
|
/
*
devtools: replace github-merge with python version
Wladimir J. van der Laan
2016-01-20
1
-0
/
+223