関連ワード:  delete file from github repository    delete file from git repository    remove file from github repository    remove file from git repository    remove file from git repository history    delete file from github project    delete file from git remote repository    remove file from git repo but not locally    remove file from git repo but keep locally    remove file from git repo completely