Git restore deleted file from main July 8, 2019 16 32 64 128 Github remove file How to delete file in repository github