diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-03-13 16:09:38 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-03-13 16:13:38 +0100 |
| commit | a327e8ea30e10abdce910a3e37c78e00d0918548 (patch) | |
| tree | 06c554f84c450923774a1a1dcad5cc04ef15224f /share | |
| parent | 8040ae6fc576e9504186f2ae3ff2c8125de1095c (diff) | |
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.
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions