devtools: Make github-merge compute SHA512 from git, instead of worktree
[bitcoinplatinum.git] / .tx / 
tree434adb3b2339e7d7858d15218e0d9077cb501d0e
drwxr-xr-x   ..
-rw-r--r-- 176 config