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 /build-aux/m4/ax_boost_filesystem.m4 | |
parent | 8a503a6c6dd419921373f45d7aa6f1787c9b8884 (diff) |
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 'build-aux/m4/ax_boost_filesystem.m4')
0 files changed, 0 insertions, 0 deletions