0000000000000000000000000000000000000000 9cd3424ad0be93bf45ec94267fed3c7a763cc01a Unknown <unknown@debian.(none)> 1763848863 +0000	clone: from https://github.com/ThomasMertes/seed7.git
9cd3424ad0be93bf45ec94267fed3c7a763cc01a 9cd3424ad0be93bf45ec94267fed3c7a763cc01a Unknown <unknown@debian.(none)> 1763848864 +0000	reset: moving to HEAD
9cd3424ad0be93bf45ec94267fed3c7a763cc01a 9cd3424ad0be93bf45ec94267fed3c7a763cc01a Unknown <unknown@debian.(none)> 1763848864 +0000	checkout: moving from master to 9cd3424ad0be93bf45ec94267fed3c7a763cc01a
