関連ワード:  delete a file from github    delete a file from github repository    delete a file from git    delete a file from git repository    delete a file from git history    delete a file from git repo    delete a file from git commit    delete a file from github repo    delete a file from github history    delete a file from github ui