file deleted from github