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:

• https://zivgitlab.uni-muenster.de/HPC2SE-Project/pacxx-runtime/issues/16
• https://zivgitlab.uni-muenster.de/HPC2SE-Project/pacxx-samples/issues/3

changed the description

mentioned in commit b0fba4fe

mentioned in merge request !51 (merged)

mentioned in commit d30e796d

mentioned in commit 88fcc11c

mentioned in commit c628030c

mentioned in commit 9b124f24

closed via merge request !51 (merged)

closed via commit 8532c003

closed via commit 9b124f24

Hmm, I guess !51 (merged) did not actually implement that to my satisfaction. I want something that can be used in the ci of pacxx-runtime, too

reopened

mentioned in merge request !53 (merged)

closed via merge request !53 (merged)

closed via commit 082fcfb8