Skip to content
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.

Sign up for GitHub

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

Add more structure and info to redirection page #518

Merged
merged 8 commits into from
Jun 2, 2020
Merged

Add more structure and info to redirection page #518

merged 8 commits into from
Jun 2, 2020

Commits on Jun 2, 2020

  1. Add more structure and info to redirection page

    @mih
    mih committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    b9d051d View commit details
    Browse the repository at this point in the history

  2. Make the redirection page more informative

    @adswa
    adswa committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    da7d679 View commit details
    Browse the repository at this point in the history

  3. update submodule

    @adswa
    adswa committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    692ceaa View commit details
    Browse the repository at this point in the history

  4. hide the redirection page from the main toctree

    @adswa
    adswa committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    f8980f5 View commit details
    Browse the repository at this point in the history

  5. Fix message paragraph ID

    @mih
    mih committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    547001a View commit details
    Browse the repository at this point in the history

  6. Make default success message vanish on error

    @mih
    mih committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    2a21cf2 View commit details
    Browse the repository at this point in the history

  7. Keep error bold

    @mih
    mih committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    3294d15 View commit details
    Browse the repository at this point in the history

  8. Use custom role to replace the JS-based mapping 

    Additionally remove the re-description of the link target and
rely on the linked section.

This minimizes the work, forces the headings to be descriptive, and
makes sure we use proper references for pointing at particular content
pieces.
    @mih
    mih committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    462d7e6 View commit details
    Browse the repository at this point in the history