搜索技巧 核手提箱 海洋云增白 Bliss AI 搜索答案 自由职业 policy 颈挂空调 Chumby 个人电脑 极端主义 世界 PostgreSQL AI工具 DirectX 防溢 DrawingPics 儿童读物 化学 代码审查 KDE 游戏测试 多动症 超级计算机 植物学 分析化学 Three.js 大会 残疾人学校 三菱电机 更多

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

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

评论已经关闭!