Wladimir J. van der Laan 067fba5631 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.

2019-06-13 10:21:36 +02:00

16 KiB

Executable File

Raw Blame History

View Raw