Re: [PATCH] ci: bump debian-11 job to debian-12

Jeff King [off-list ref] writes:

If we track oldstable, then every other year we're not using the oldest
supported release (because the prior release is still in LTS). Or we
track oldoldstable, which means every other year we're using a release
that's no longer supported. Or we flip-flop between them once a year,
when oldoldstable goes out of support.

Which makes me inclined to just keep the current scheme: use the numeric
codes and just bump them every 2 years or so when they go out of
support. And we can even put it off until the out-of-support release
starts causing problems like it did here.

Sounds sensible to me.  Thanks for thinking this through.