deleting files from github