core-workflow
core-workflow copied to clipboard
python
Issue tracker for CPython's workflow
Please add me to the https://github.com/python GitHub org and the proofreaders team.
(converted to issue) I've turned off the other bot alerts since we have sentry now. But I think only a few people have visibility to the sentry alerts. Is this...
This should significantly reduce build latency, particularly rebuild latency when minor changes are pushed in PR branches. It can help across builds, but as the main branch point of a...
As a follow-up to #469 (and #470), this is a reminder to update the `cla-bot` entry in the README after moving it to the `python` org (currently the repo is...
# The short story It would be nice if branches were auto-deleted after a PR is merged. # Long version > You can have head branches automatically deleted after pull...
This is a meta issue about a newly added GitHub action that automatically updates projects: - [x] https://github.com/python/cpython/pull/94447 - [x] backport to 3.11: https://github.com/python/cpython/pull/94477 - [x] backport to 3.10: https://github.com/python/cpython/pull/94475...
Today I was working on an issue in miss-islington. In particular, I was working on https://github.com/python/miss-islington/pull/590. Per the dev guidance, I have the [repo configured with a fork](https://github.com/jaraco/jaraco.develop/blob/66be40935bbe0904999d035c05f4bdccd1a7d89d/jaraco/develop/git.py#L151-L161): ``` miss-islington...
There are two ways to group labels on GitHub: by color and by using a common prefix. Even though the color-coding helps, without a common prefix, labels that belong in...
# The short story We need to discuss the deployment options for the [discord-bot](https://github.com/python/discord-bot). # Long version @Mariatta and I are developing a discord bot that will utilize OpenAI APIs...
When a PR has merge conflicts, the author doesn't know unless they check or another person alerts them. It would be good if the bot could ping them and move...
