diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-22 16:37:21 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-22 16:37:42 +0100 |
commit | 17b5d3896f2cd189b1a4665956bdfba368d46f0e (patch) | |
tree | b390f7c13956bc476cec663cdfa36dae7d5a7212 /contrib/bitcoind.bash-completion | |
parent | fc0899400082496bf2b3e061105e1e6a13399889 (diff) |
devtools: show pull and commit information in github-merge
Print the number and title of the pull, as well as the commits to be
merged.
Diffstat (limited to 'contrib/bitcoind.bash-completion')
0 files changed, 0 insertions, 0 deletions