github上提交的pr如何删除

fiy 其他 1937

回复

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

    要删除在GitHub上提交的PR(Pull Request),您可以按照以下步骤进行操作:

    1. 打开您的GitHub帐户,并进入相关的仓库页面。
    2. 在仓库页面上,点击”Pull requests”选项卡,显示所有已提交的PR列表。
    3. 在PR列表中找到您想要删除的PR,并点击进入该PR的页面。
    4. 在PR页面的右上角,可以看到一个红色的”Close pull request”或”Merge pull request”按钮(取决于该PR的状态)。点击该按钮。
    5. 在弹出的确认对话框中,确认您要删除该PR,并点击”Confirm”按钮。请注意,删除PR是不可逆转的操作,请确保您真正想要删除该PR。
    6. 删除PR后,它将不再显示在PR列表中。

    请注意,删除PR不会删除分支或相关的提交记录。如果您还想删除与PR关联的分支,请在删除PR后手动删除分支。

    希望这些步骤能够帮到您!

    2年前 0条评论
  • fiy的头像
    fiy
    Worktile&PingCode市场小伙伴
    评论

    在Github上,删除提交的PR(Pull Request)有两种方法:通过网页界面或通过命令行界面。下面将详细介绍这两种方法。

    1. 通过网页界面删除PR:
    – 打开Github的网页界面,进入你所在的repository。

    – 在repository 主页的导航栏中,点击 “Pull requests”(或者在仓库主页上方的标签栏中找到 “Pull requests”)

    – 在 “Pull requests” 页面中,找到并点击你想删除的PR。

    – 在PR页面的右上角,点击 “Close pull request” ,关闭PR。

    – 关闭后,页面将刷新并显示PR已关闭的提示。此时可以选择 “Reopen pull request” 重新开启PR,或者点击 “Delete pull request” 删除PR。

    – 点击 “Delete pull request”,在弹出的确认对话框中再次确认删除操作。

    – PR删除成功后,页面将自动刷新并显示PR已删除的提示。

    2. 通过命令行界面删除PR:
    – 打开命令行界面。

    – 使用`git clone`命令克隆你的repository到本地。

    – 进入克隆下来的目录,使用`git branch -a`命令查看所有的分支,找到与你想删除的PR相对应的分支。

    – 使用`git branch -D branch_name`命令删除相应的分支,其中 `branch_name` 替换为你要删除的分支的名称。

    – 删除完分支后,使用`git push origin –delete branch_name`命令将分支删除的更改推送到远程仓库。

    – 此时,PR已被删除,可以通过 `git fetch –all` 命令更新本地仓库,确认PR已被删除。

    无论是通过网页界面还是命令行界面删除PR,注意事项如下:
    – 删除PR将无法恢复,所以在删除之前请确保你真的要删除该PR。
    – 如果PR已经被合并到主分支,删除分支时请注意是否还依赖该分支。
    – 如果删除了远程仓库中的分支,其他人将无法再从该分支进行拉取操作。
    – 最好在与他人讨论后再进行删除,以免对团队项目产生不必要的麻烦。

    2年前 0条评论
  • 不及物动词的头像
    不及物动词
    这个人很懒,什么都没有留下~
    评论

    在GitHub上删除已提交的PR(Pull Request),可以通过以下方法进行操作:

    步骤一:进入Pull Requests页面
    1. 打开GitHub网站,登录到你的账号。
    2. 在你的仓库主页上,点击右侧菜单中的“Pull requests”选项,进入Pull Requests页面。

    步骤二:选择需要删除的PR
    3. 在Pull Requests页面中,找到你要删除的PR。可以使用搜索栏来快速定位。
    4. 点击PR标题进入PR详情页面。

    步骤三:删除PR
    5. 在PR详情页面上方,点击右侧的“Close pull request”按钮,弹出确认框。

    步骤四:确认删除
    6. 在确认框中,确认是否要关闭(删除)PR。你可以选择写下一些备注信息,让其他人知道你关闭PR的原因。
    7. 点击“Close pull request”按钮,即可删除PR。

    注意事项:
    – 删除PR后,PR所包含的更改(commits)不会被删除,它们仍将保留在你的仓库中。
    – 如果你希望完全删除PR所包含的更改,你可以将其称为本地分支,并使用`git branch -d `命令将其删除。

    通过以上步骤,你可以在GitHub上删除已提交的PR。记住,删除PR后,PR所包含的更改仍然保留在你的仓库中,你可以在需要的时候进行进一步处理。

    2年前 0条评论
注册PingCode 在线客服
站长微信
站长微信
电话联系

400-800-1024

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

分享本页
返回顶部