Fixing deleted files on GitHub