Report precise commit ids of any cloned repos
This would make stuff like that https://zivgitlab.uni-muenster.de/HPC2SE-Project/pacxx-runtime/merge_requests/23#note_5606, https://gitlab.dune-project.org/joe/pacxx-docker/-/jobs/54142 easier to debug
See also:
Edited by Jö Fahlke