3 ms·

Didn't you guys have filesystem backups of a shared git repository? This is exactly what backups are for.