There is a multi purpose shell script for the gathering of git revisions
now.
It will extract all revisions that can be found in traversing of the
current working directory. This effectively includes the
overleaf/overleaf repo and any others that may be added downstream.
