Why curl closes PRs on Github
Contributors to the curl project on GitHub tend to notice the above sequence quite quickly - pull requests submitted do not generally appear as merged with its accompanying purple blob, instead they are said to be closed.
weeklyfoo #37 / 2024-06-17curl