为什么 curl 项目在 GitHub 上关闭 PR？

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