0000000000000000000000000000000000000000 a590d4b50347eae62c4af5209fc5436f3862554f user <user@d027698476fe> 1585926180 +0000	clone: from https://github.com/leanprover-community/mathlib
a590d4b50347eae62c4af5209fc5436f3862554f 886b15b5ea473ae51ed90de31b05f23de00be10d user <user@d027698476fe> 1585926181 +0000	checkout: moving from master to 886b15b5ea473ae51ed90de31b05f23de00be10d
886b15b5ea473ae51ed90de31b05f23de00be10d 8535132345bc8c4f48b56ebf89e0db5bcad8b456 user <user@d027698476fe> 1585926182 +0000	checkout: moving from 886b15b5ea473ae51ed90de31b05f23de00be10d to 8535132345bc8c4f48b56ebf89e0db5bcad8b456
