Do not use short git hashes in deps.edn

[jerger]

There is a neat story why this is a bad idea :-)

https://blog.teddykatz.com/2019/11/12/github-actions-dos.html