github怎么删除pr

不及物动词 其他 430

回复

共3条回复 我来回复
  • worktile的头像
    worktile
    Worktile官方账号
    评论

    要删除 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年前 0条评论
  • 不及物动词的头像
    不及物动词
    这个人很懒,什么都没有留下~
    评论

    要删除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年前 0条评论
  • fiy的头像
    fiy
    Worktile&PingCode市场小伙伴
    评论

    删除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年前 0条评论
注册PingCode 在线客服
站长微信
站长微信
电话联系

400-800-1024

工作日9:30-21:00在线

分享本页
返回顶部