github怎么关闭pr

不及物动词 其他 241

回复

共3条回复 我来回复
  • fiy的头像
    fiy
    Worktile&PingCode市场小伙伴
    评论

    要关闭GitHub上的Pull Request(PR),可以按照以下步骤进行操作:

    1. 打开GitHub网站并登录到您的账号。
    2. 导航到包含要关闭的PR的仓库。
    3. 在仓库页面,点击“Pull requests”选项卡来查看所有的PR。
    4. 找到要关闭的PR,在PR标题下方可以看到一个绿色的“Merge pull request”按钮,以及一个灰色的“Close pull request”按钮。
    注意:如果PR已经被合并(merge)或以其他方式关闭,那么这些按钮可能不会显示。
    5. 点击“Close pull request”按钮。

    确认关闭这个PR之前,可以在评论框中添加一些说明或留言。这对于将来参考PR的人是很有帮助的。

    关闭PR后,它将不再显示在PR列表中,并且其他相应的操作(例如合并)也将不再可用。

    需要注意的是,关闭PR并不会删除它,而是将其标记为关闭状态。PR仍然可以在仓库的“Closed pull requests”部分找到。

    希望上述步骤对您有帮助,如有其他问题,请随时提问。

    2年前 0条评论
  • worktile的头像
    worktile
    Worktile官方账号
    评论

    要关闭 GitHub 上的 Pull Request(PR),可以按照以下步骤进行操作:

    1. 打开 PR 页面:首先,登录到您的 GitHub 账户,并打开包含PR的仓库。找到您想要关闭的 PR,点击进入 PR 的页面。

    2. 在PR页面中找到关闭按钮:在 PR 页面的右上角,可以看到一个具有下拉箭头的按钮,点击这个按钮会显示一个菜单下拉选项。

    3. 选择关闭PR选项:在下拉菜单中,选择“Close Pull Request”。这将会关闭 PR 且将其标记为已关闭状态。

    4. 确认关闭PR:在选择关闭 PR 选项后,GitHub 会显示一个确认窗口,询问您是否确定要关闭 PR。确认无误后,点击“Close Pull Request”按钮以关闭 PR。

    5. 添加关闭注释(可选):一旦 PR 被关闭,您可以选择添加一条注释来说明关闭的原因或其他相关信息。在 PR 页面上方的注释框中输入您的注释,然后点击“Comment”按钮来添加注释。

    请注意,关闭 PR 只会关闭它的代码讨论、连结和更改请求。如果已经合并了该 PR,关闭 PR 不会影响实际的代码更改。

    关闭 PR 可以帮助维护者清理无效或已过时的 PR,并减少仓库的混乱程度。如果有必要重新打开已关闭的 PR,可以按照相同的步骤重新开启。

    关闭 PR 不会删除 PR 的记录,而是将其标记为关闭状态,因此所有相关的讨论和历史记录仍然可以访问和查看。

    希望这些步骤可以帮助您成功关闭 GitHub 上的 PR。

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

    关闭GitHub的Pull Request(PR)可以通过以下步骤完成:

    1. 在浏览器中打开GitHub网站,并登录到您的帐户。
    2. 导航到包含您想要关闭的PR的仓库。
    3. 点击仓库页面上的“Pull requests”选项卡,以查看所有的PR。
    4. 在PR列表中,找到并选择您希望关闭的PR。
    5. 进入选择的PR页面后,您会看到PR的详细信息。
    6. 在PR详细信息页面的右上角,有一个绿色的“Merge pull request”按钮旁边的箭头,点击它以展开一个下拉菜单。
    7. 在下拉菜单中,选择“Close pull request”以关闭PR。
    8. 在弹出的对话框中,您可以选择将PR关闭时的提交消息输入到“Write”框中,然后单击“Close pull request”按钮即可完成PR的关闭。

    关闭PR后,它将被标记为已关闭状态,并且在PR列表中将不再显示。但是,仍然可以在需要时重新打开或合并。

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

400-800-1024

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

分享本页
返回顶部