github怎么删除pr
-
要删除 GitHub 上的 Pull Request(简称 PR),需要按照以下步骤操作:
1. 首先,登录到你的 GitHub 账号。
2. 在你的仓库页面中,点击“Pull requests”选项卡,然后进入你想删除的 PR 的页面。
3. 在 PR 页面中,你会看到一个红色的按钮,标注为“Close pull request”或者“Merge pull request”。点击这个按钮。
4. 在弹出的确认对话框中,点击“Close pull request”按钮来关闭这个 PR。注意,这一步实际上并不是真正删除 PR,而是将其关闭。
5. 返回到仓库页面,你会看到 PR 的标题旁边有一个灰色的图标,表示该 PR 已经关闭。
6. 如果你想完全删除 PR,需要继续下面的步骤。
7. 在 PR 页面中,点击标题旁边的灰色图标,进入 PR 的详细页面。
8. 在 PR 的详细页面中,点击右上角的“…”按钮,然后选择“Delete branch”选项。
9. 在弹出的确认对话框中,再次点击“Delete branch”来确认删除。注意,删除 branch 的同时也会删除整个 PR。
10. 删除完成后,你将返回到仓库页面。
通过以上步骤,你就可以在 GitHub 上删除你不需要的 PR。记得在进行删除操作前,仔细确认一下,以免误删相关内容。
2年前 -
要删除GitHub上的PR(Pull Request),需要进行以下步骤:
1. 打开您要删除的PR所在的仓库页面。点击导航栏中的“Pull requests”选项卡。
2. 在“Pull requests”页面中,可以看到所有已打开的PR列表。找到您要删除的PR,点击PR标题打开PR页面。
3. 在PR页面的右上方,可以看到一组按钮,包括“Comment”、“Reopen”以及当前PR的状态。找到并点击“Close pull request”按钮。
4. 在弹出的确认对话框中,点击“Close pull request”按钮确认关闭PR。
5. PR关闭后,将返回到PR页面。接下来,点击页面右下方的“Delete branch”按钮。
6. 在弹出的确认对话框中,点击“Delete branch”按钮确认删除该分支。请注意,该分支上的所有更改都将被永久删除,无法恢复。
通过以上步骤,您就可以成功删除GitHub上的PR了。
此外,还可以使用GitHub命令行工具或通过Git客户端手动删除PR。具体步骤如下:
1. 打开终端或命令提示符窗口,并切换到您要删除PR所在的仓库目录。
2. 使用以下命令下载并更新最新的仓库变更:
“`
git fetch origin
“`3. 使用以下命令切换到要删除的PR所在的分支:
“`
git checkout branch_name
“`将 `branch_name` 替换为要删除的分支名称。
4. 使用以下命令删除本地分支:
“`
git branch -D branch_name
“`5. 使用以下命令删除远程分支:
“`
git push origin –delete branch_name
“`将 `branch_name` 替换为要删除的分支名称。
通过以上步骤,您就可以手动删除GitHub上的PR了。请注意,在删除分支之前,请确保您不再需要该分支上的任何更改。
2年前 -
删除GitHub上的PR(Pull Request)主要分为两种情况:一种是你是PR的发起者,另一种是你是PR的接收者。下面将介绍这两种情况下的PR删除方法。
如果你是PR的发起者,以下是具体步骤:
1. 打开你的GitHub仓库。
2. 导航到”Pull requests”(即PR页面)。
3. 找到你想删除的PR,点击进入PR页面。
4. 在PR页面,你将看到一个位于右上角的红色按钮,上面写着“Close pull request”或“Merge pull request”的按钮。点击这个按钮。
5. 确认你要关闭PR的操作,通常会有一个弹框来让你确认。点击确认可以关闭PR。
6. 关闭PR之后,你可以选择删除PR分支。在PR页面上方,你会看到一个灰色的按钮,上面写着“Delete branch”。点击这个按钮。
7. 确认你要删除分支的操作,通常会有一个弹框来让你确认。点击确认可以删除分支。如果你是PR的接收者,以下是具体步骤:
1. 打开你的GitHub仓库。
2. 导航到”Pull requests”(即PR页面)。
3. 找到你想关闭的PR,点击进入PR页面。
4. 在PR页面,你将看到一个位于右上角的蓝色按钮,上面写着“Close pull request”的按钮。点击这个按钮。
5. 确认你要关闭PR的操作,通常会有一个弹框来让你确认。点击确认可以关闭PR。
6. 如果你希望从你的仓库中删除这个已关闭的PR,你需要执行以下步骤:
a. 打开你的GitHub仓库。
b. 点击”Pull requests”(即PR页面)。
c. 在PR页面上方,你会看到一个灰色的按钮,上面写着“Closed”或“Merged”。点击这个按钮。
d. 在弹出的下拉菜单中,选择”Closed”。
e. 找到你要删除的PR,并点击进入PR页面。
f. 在PR页面,你会看到一个位于右上角的红色按钮,上面写着“Delete pull request”的按钮。点击这个按钮。
g. 确认你要删除PR的操作,通常会有一个弹框来让你确认。点击确认可以删除PR。请注意,一旦删除PR,相应的讨论和更改也将被删除,这是不可逆转的操作,请谨慎操作。
2年前