Junio C Hamano <gitster@xxxxxxxxx> writes: > Patrick Steinhardt <ps@xxxxxx> writes: > >> On Tue, Jan 28, 2025 at 04:18:00PM -0800, Junio C Hamano wrote: >>> * ps/ci-misc-updates (2025-01-10) 10 commits >>> ... >>> >>> CI updates (containerization, dropping stale ones, etc.). >>> >>> Will merge to 'master'. >>> source: <20250110-b4-pks-ci-fixes-v4-0-6e4613446080@xxxxxx> >> >> I'm a bit confused about the state of this topic. You say it will be >> merged to 'master', but as far as I can see it's not even part of 'next' >> yet. > > I am utterly confused---I'll figure out what happened here. This turns out to be a simple typo where I meant to say "next" and typed "master". I was worried about something worse, like accicentally removing one entry that was ready to be merged to 'master' that happened to be listed immediately after this one. Thanks for noticing.