Hugo van Kemenade

Draft PR to update the devguide once the labels are renamed: https://github.com/python/devguide/pull/1076. Preview: https://cpython-devguide--1076.org.readthedocs.build/triage/labels/#topic-labels

Is this issue still needed?

At https://github.com/python/cpython/settings if you turn on this: It adds this optional button to PRs: If you click that it will merge `main` into the PR and re-run CI. Or you...

Duplicate of https://github.com/python/core-workflow/issues/96 ("Add a bot to notify people when their PR has a merge conflict")?

@python/organization-owners Please could you enable this? Thank you!

The last https://docs.python.org/3/ build was at Dec 07, 2023 (12:24 UTC). The 3.12.1 release was at something like Dec 08, 2023 (00:45 UTC). As there's no public logs yet (https://github.com/python/docsbuild-scripts/issues/174),...

It now says `Last updated on Dec 12, 2023 (08:00 UTC)` on https://docs.python.org/3/ If it took 27.5 hours, what language/versions has it been building to delay it? There have been...

I set up a repo to monitor the build times: https://github.com/hugovk/last-updated/actions/runs/9934564679/job/27439140210 And it's now taking 40-50 hours between version builds: > Time between deploys; last one is time since last...

Is this fixed after the merge of https://github.com/python/python-docs-ko/issues/595?

Yeah, I've experienced this and found it a little surprising, albeit logical when you think about it for a moment. I think the common case would to expect a "sticky"...