News for hackers. Stuff that matters.

A comment on GitHub merge queue is generally available. Parent comment

Re:GitHub merge queue is generally available by bostonvaulter2 on Thursday July 13, 2023 @05:09PM (#36716013)
GitHub's merge queue does support merging multiple PRs in a single merge operation. It's the "Maximum pull requests to merge" setting
[ Parent | on HN ]

There are no comments on this comment yet.