github怎么关闭pr
-
要关闭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年前 -
要关闭 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年前 -
关闭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年前