diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-06-13 10:21:36 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-06-13 10:21:36 +0200 |
commit | 067fba56314f399674dd471c663e663040be52a3 (patch) | |
tree | 749cda093b91322fe8712d9ef2eedd851fc5a70a /contrib/devtools/README.md | |
parent | 8a503a6c6dd419921373f45d7aa6f1787c9b8884 (diff) | |
download | bitcoin-067fba56314f399674dd471c663e663040be52a3.tar.xz |
devtools: Always use unabbreviated commit IDs in github-merge.py
Always put the unabbreviated commit IDs in the generated commit messages
and other places. This prevents the developer's `core.abbrev` git setting
from leaking through and is better against ambiguity too.
Diffstat (limited to 'contrib/devtools/README.md')
0 files changed, 0 insertions, 0 deletions