How could he not have a backup? No one would write a single line of code without at least git these days. In the least he has learnt one of the biggest lessons in code development.