HomePhabricator

Merge #7737: devtools: make github-merge.py use py3
aa0d2b263186Unpublished

Unpublished Commit ยท Learn More

Repository Importing: This repository is still importing.

Description

Merge #7737: devtools: make github-merge.py use py3

f11c5a3 devtools: make github-merge.py use py3 (Wladimir J. van der Laan)

Details

Provenance
Wladimir J. van der Laan <laanwj@gmail.com>Authored on Mar 29 2016, 09:08
schancelPushed on Jan 5 2018, 21:58
schancelPushed on Jan 5 2018, 21:39
schancelPushed on Jan 5 2018, 21:17
Parents
rSTAGINGf11c5a3cbd28: devtools: make github-merge.py use py3
rSTAGING26794d4645e4: Merge #7757: [qa] wallet: Wait for reindex to catch up
Branches
Unknown
Tags
Unknown

Event Timeline

Wladimir J. van der Laan <laanwj@gmail.com> committed rSTAGINGaa0d2b263186: Merge #7737: devtools: make github-merge.py use py3 (authored by Wladimir J. van der Laan <laanwj@gmail.com>).Mar 29 2016, 09:08