New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update Sphinx bpo role to use redirect URI. #32342

Merged

ezio-melotti merged 1 commit into python:main from ezio-melotti:docs-bpo-role-redir

Apr 11, 2022

Member

ezio-melotti commented Apr 5, 2022

This PR updates the :bpo:`...` role to use the redirect URL instead of the regular one. This means that when clicking on a bpo-xxxxx link in the docs, the user will be redirected to the corresponding GH issue.

This PR should be merged after the migration is completed.


          Update Sphinx bpo role to use redirect URI.

8f7b7bb

ezio-melotti added type-feature docs skip issue skip news DO-NOT-MERGE labels

ezio-melotti self-assigned this

bedevere-bot added the awaiting core review label

the-knights-who-say-ni added the CLA signed label

ezio-melotti mentioned this pull request

Migration and risk management plans psf/gh-migration#13

Open

58 tasks

ezio-melotti merged commit 08cfe07 into python:main

12 checks passed

bedevere-bot removed the awaiting core review label

bedevere-bot commented Apr 11, 2022

@ezio-melotti: Please replace # with GH- in the commit message next time. Thanks!

ezio-melotti deleted the docs-bpo-role-redir branch

ezio-melotti added needs backport to 3.9 needs backport to 3.10 and removed DO-NOT-MERGE labels

Contributor

miss-islington commented Apr 11, 2022

Thanks @ezio-melotti for the PR 🌮🎉.. I'm working now to backport this PR to: 3.9.
🐍🍒⛏🤖

Contributor

miss-islington commented Apr 11, 2022

Thanks @ezio-melotti for the PR 🌮🎉.. I'm working now to backport this PR to: 3.10.
🐍🍒⛏🤖

Contributor

miss-islington commented Apr 11, 2022

Sorry, @ezio-melotti, I could not cleanly backport this to 3.9 due to a conflict.
Please backport using cherry_picker on command line.
cherry_picker 08cfe079503ffd19d8b7ab324f0fdb1c6b150ca8 3.9

Contributor

miss-islington commented Apr 11, 2022

Sorry @ezio-melotti, I had trouble checking out the 3.10 backport branch.
Please backport using cherry_picker on command line.
cherry_picker 08cfe079503ffd19d8b7ab324f0fdb1c6b150ca8 3.10

ezio-melotti added needs backport to 3.10 and removed needs backport to 3.10 labels

Contributor

miss-islington commented Apr 11, 2022

Thanks @ezio-melotti for the PR 🌮🎉.. I'm working now to backport this PR to: 3.10.
🐍🍒⛏🤖

Contributor

miss-islington commented Apr 11, 2022

Sorry, @ezio-melotti, I could not cleanly backport this to 3.10 due to a conflict.
Please backport using cherry_picker on command line.
cherry_picker 08cfe079503ffd19d8b7ab324f0fdb1c6b150ca8 3.10

ngnpope added a commit to ngnpope/django that referenced this issue


          Update Sphinx bpo role to use redirect URI.

7682f6d

Mirrors the change made in python/cpython#32342.

ngnpope mentioned this pull request

Updated bpo link to use redirect URI. django/django#15584

Merged

felixxm pushed a commit to django/django that referenced this issue


          Updated bpo link to use redirect URI.

62ffc98

Mirrors the change made in python/cpython#32342.

felixxm pushed a commit to django/django that referenced this issue


          [4.0.x] Updated bpo link to use redirect URI.

38f12b2

Mirrors the change made in python/cpython#32342.
Backport of 62ffc98 from main

gvanrossum pushed a commit to gvanrossum/cpython that referenced this issue


          Update Sphinx bpo role to use redirect URI. (python#32342)

3d387ea

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment