Repository navigation
DOC: Display "dev" instead of "devdocs" in the version switcher - #23949
jklymak merged 1 commit into
Conversation
Sorry, something went wrong.
While the url is devdocs historically, and I'm not going to change this, the displayed names should be "stable" and "dev". This has the added advantage that dev takes a little less space in the menubar, and thus wrapping occurs slightly later.
story645
left a comment
There was a problem hiding this comment.
No idea if this needs 1 or 2 to merge
Sorry, something went wrong.
|
Owee, I'm MrMeeseeks, Look at me. There seem to be a conflict, please backport manually. Here are approximate instructions:
git checkout v3.6.x git pull
git cherry-pick -x -m1 b5fa31067e8e67e308b373285a68c44e9ca5efa8
git commit -am 'Backport PR #23949: DOC: Display "dev" instead of "devdocs" in the version switcher'
git push YOURFORK v3.6.x:auto-backport-of-pr-23949-on-v3.6.x
And apply the correct labels and milestones. Congratulations — you did some good work! Hopefully your backport PR will be tested by the continuous integration and merged soon! Remember to remove the Still Needs Manual Backport label once the PR gets merged. If these instructions are inaccurate, feel free to suggest an improvement. |
Sorry, something went wrong.
|
Owee, I'm MrMeeseeks, Look at me. There seem to be a conflict, please backport manually. Here are approximate instructions:
git checkout v3.6.0-doc git pull
git cherry-pick -x -m1 b5fa31067e8e67e308b373285a68c44e9ca5efa8
git commit -am 'Backport PR #23949: DOC: Display "dev" instead of "devdocs" in the version switcher'
git push YOURFORK v3.6.0-doc:auto-backport-of-pr-23949-on-v3.6.0-doc
And apply the correct labels and milestones. Congratulations — you did some good work! Hopefully your backport PR will be tested by the continuous integration and merged soon! Remember to remove the Still Needs Manual Backport label once the PR gets merged. If these instructions are inaccurate, feel free to suggest an improvement. |
Sorry, something went wrong.
DOC: Display "dev" instead of "devdocs" in the version switcher (cherry picked from commit b5fa310)
DOC: Display "dev" instead of "devdocs" in the version switcher (cherry picked from commit b5fa310)
This changes
to only show "dev".
While the url is devdocs historically, and I'm not going to change this, the displayed names should be "stable" and "dev". This has the added advantage that dev takes a little less space in the menubar, and thus wrapping occurs slightly later.