🐍🍒⛏🤖
Bot for backporting and merging CPython Pull Requests.
Backporting a PR on CPythonPrior to merging a PR, a Python core developer should apply the needs backport to X.Y label to the pull request. Once the pull request has been merged, @miss-islington will prepare the backport PR.
If @miss-islington encountered any issue while backporting, it will leave a comment about it, and the PR will be assigned to the core developer who merged the PR. The PR then needs to be backported manually.
If a Python core developer approved the backport PR made by miss-islington, it will be automatically merged once all the CI checks passed.
If a Python core developer approved a PR made by anyone and added the "🤖 automerge" label, it will be automatically merged once all the CI checks pass.
Aside: where does the name come from?According to Wikipedia, Miss Islington is the name of the witch in the Monty Python and the Holy Grail sketch.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4