0000000000000000000000000000000000000000 048a955b0cb384e8e51782cc39c6eacd145e1c6d Christoph Martin <martin@uni-mainz.de> 1519643531 +0100	fetch --quiet: storing head
048a955b0cb384e8e51782cc39c6eacd145e1c6d 564271e7dcac22c8a11e41d8c955e132d0e1e15f Christoph Martin <martin@uni-mainz.de> 1600159897 +0200	fetch --quiet: fast-forward
