Github ate my code, and I retrieved it