从 PR Github 中删除文件 - Shell/Bash

在 Github 上进行开源项目的协作过程中，会有 pull request（PR）的提交，有时候会需要在 PR 中删除某些文件。本文将介绍使用 Shell/Bash 删除 PR Github 中的文件的方法。

前提条件

本教程中的方法需要使用到以下工具：

1. Git：在本地进行代码库的操作，需要使用 Git 命令行；
2. Github 命令行工具：需要安装 Github 命令行工具 gh，安装方法请参考 Github 官方文档。

步骤一：下载 PR 至本地

首先需要使用 git 命令行将 PR 的代码库下载到本地，这可以通过以下命令来实现：

git clone <PR 地址>

其中，PR 地址为包含 pull/<PR 号>/head 的完整 Github URL：

https://github.com/<账户>/<项目>/pull/<PR 号>/head

步骤二：创建新分支

为了删除文件时的操作清晰有序，必须创建一个新的分支来操作，这可以通过以下命令来实现：

git checkout -b <new_branch_name> master

其中，new_branch_name 为新分支的名称。

步骤三：删除文件

删除 PR 中的某个或某几个文件需要使用以下命令：

git rm <file_path>

其中，file_path 为要删除的文件路径。如果要删除多个文件，则需要依次执行上述命令。

步骤四：提交更改

执行完删除操作后，需要将更改提交到远程分支。使用以下命令提交更改：

git commit -m "<commit_message>"

其中，commit_message 为提交更改时的信息。

步骤五：推送分支

更改提交成功后，需要将新分支推送至远程分支。使用以下命令推送分支：

git push origin <new_branch_name>

其中，new_branch_name 为新分支的名称。

步骤六：创建 PR

将新分支推送到远程分支后，需要创建一个新的 PR 来合并更改。使用以下命令创建 PR：

gh pr create --base <base_branch> --head <new_branch_name> --title <PR_title>

其中，base_branch 为要合并至的源分支，new_branch_name 为新分支的名称，PR_title 为 PR 的标题。

总结

本文介绍了如何使用 Shell/Bash 删除 PR Github 中的文件，需要注意的是，所有的操作都应该在新分支中进行，以免影响原分支的代码。