関連ワード:  delete a file from github repository    delete a file from github    delete a file from github repo    delete a file from github history    delete a file from github ui    delete a file from github branch    delete a file from github web    remove a file from github pr    delete a file from git    delete a file from git history