Contributors to the curl project on GitHub have noticed that pull requests are closed instead of being merged. This is due to limitations in GitHub's UI and the project's preference for manual merges and specific commit messages.
Table of contents
I blame GitHubCommit messages with styleManual mergesWe COULD but we won’tWhat GitHub could do2 Comments
Sort: