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