Git restore deleted file staged July 8, 2019 16 32 64 128 Git restore deleted file not staged Github remove file