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.

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

Ship a basic 404 page #83

Merged
merged 2 commits into from
Jul 27, 2022
Merged

Ship a basic 404 page #83

merged 2 commits into from
Jul 27, 2022

Conversation

jorgepiloto
Copy link
Member

Resolves #72 by including a basic 404 page.

@github-actions github-actions bot added dependencies Related with project dependencies documentation enhancement General improvements to existing features labels Jul 20, 2022
Copy link
Member

@RobPasMue RobPasMue left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Apart from my previous comment saying that we should target the issues page of each specific repo (if possible), nothing else. LGTM!

@jorgepiloto jorgepiloto force-pushed the feat/404-page branch 3 times, most recently from fa6496d to 5bcdea0 Compare July 20, 2022 12:17
=====
This is unexpected. The page you are requesting does not exist.

If this page should exist, please contact `{{ theme_contact_mail }} <mailto:{{ theme_contact_mail }}`_.
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Considering that some projects may not be linked to GitHub (see #38), we agreed on adding a new theme variable named contact_mail which is used in the 404.rst file.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We will just have to start enforcing its use across the different docs, right?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, that's right. Since this is a third party extension, we need to configure it manually. Same happens with the numpydoc, for example.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

#OpeningPRsEverywhere

@RobPasMue
Copy link
Member

Quick question @jorgepiloto - what's missing in this PR? Is it ready to merge?

@jorgepiloto
Copy link
Member Author

Quick question @jorgepiloto - what's missing in this PR? Is it ready to merge?

Nothing else to be added from my side. This is ready to be merged 👍🏽

@RobPasMue
Copy link
Member

Merging then!

@RobPasMue RobPasMue merged commit eb3b990 into main Jul 27, 2022
@RobPasMue RobPasMue deleted the feat/404-page branch July 27, 2022 07:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Related with project dependencies enhancement General improvements to existing features
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Explore shipping a 404.rst
3 participants