Wladimir J. van der Laan a327e8ea30 devtools: Make github-merge compute SHA512 from git, instead of worktree ...

This changes tree_sha512sum() to requests the objects for hashing from
git instead of from the working tree.

The change should make the process more deterministic (it hashes what
will be pushed) and hopefully avoids the frequent miscomputed SHA512's
that happen now.

2017-03-13 16:13:38 +01:00

14 KiB

Executable File

Raw Blame History

View Raw