Mistakenly erased a file without informing github