Skip to content

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

4 participants