delete a file from github