Files
bitcoin/contrib/devtools/github-merge.py
Wladimir J. van der Laan 1983c8772c devtools: Retry after signing fails in github-merge
When signing fails, go back to the sign/exit prompt instead
of exiting the script.
2017-05-31 17:18:44 +02:00

14 KiB
Executable File