We have 643 git repos. I'm not sure we could reconstruct all of those by going round 300 engineers' machines...