get deleted file back from github