搜索技巧 核手提箱 海洋云增白 Bliss AI 搜索答案 深海沉船 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 世界 PostgreSQL AI工具 证券 DirectX 防溢 DrawingPics Zulip 儿童读物 化学 连续滚动 代码审查 KDE 剪纸 游戏测试 多动症 三菱电机 更多

为什么 curl 项目在 GitHub 上关闭 PR? (daniel.haxx.se)

本文解释了为什么 curl 项目在 GitHub 上关闭 PR 而不是合并它们。作者认为 GitHub 的 UI 存在缺陷,无法评论 PR 中的提交信息,导致难以保证提交信息的质量。为了确保提交信息风格统一且历史记录清晰,curl 项目选择手动合并 PR,并在提交信息中使用 “Fixes” 和 “Closes” 指令来关闭对应的 issue 和 PR。文章还批评了 GitHub 不支持手动合并后标记 PR 为已合并的问题,并建议 GitHub 添加类似 “Merged” 的关键字来解决这个问题。

评论已经关闭!