Suggestion to change hog requirement
Currently we set HOG to a specific commit in requirements.txt, such as e.g.
git+https://i10git.cs.fau.de/hyteg/hog@c9487067d79ddb2593bb5bcbef3d4649ea44f3cb
I wanted to suggest to change this to simply
git+https://i10git.cs.fau.de/hyteg/hog
which would clone and checkout the last commit on main. Any objections or aspects I miss?