搜索技巧 海洋云增白 开源地图 AI 搜索答案 沙丘魔堡2 压缩机站 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 PostgreSQL AI工具 证券 DirectX DrawingPics 化学 KDE 披萨农场 多动症 植物学 分析化学 Three.js 大会 残疾人学校 初创 QB64 更多

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

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

评论已经关闭!