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

Remove readthedocs in favor of Github actions and gh-pages #445

Merged
merged 1 commit into from
Nov 2, 2023

Conversation

kfdm
Copy link
Collaborator

@kfdm kfdm commented Nov 2, 2023

In #444 the github actions was fixed to publish to gh-pages properly. Since our readthedocs build is current broken anyways, it is probably better to promote the github pages version as canotical since that will also result in less of a maintenance burden for other contributors.

@kfdm kfdm requested a review from a team as a code owner November 2, 2023 00:12
@kfdm kfdm self-assigned this Nov 2, 2023
Copy link
Contributor

@vincent-olivert-riera vincent-olivert-riera left a comment

Choose a reason for hiding this comment

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

There is an issue with the URL that needs fixing. At the same time, you may use this opportunity to fix a couple of things in the commit message:

Since our readthedocs build is current broken anyways

"current" -> "currently"

better to promote the github pages version as canotical

"canotical" -> "canonical"

promgen/templates/promgen/help_menu.inc.html Outdated Show resolved Hide resolved
In line#444 the github actions was fixed to publish to gh-pages properly.
Since our readthedocs build is currently broken anyways, it is probably
better to promote the github pages version as canonical since that will
also result in less of a maintenance burden for other contributors.
Copy link
Contributor

@vincent-olivert-riera vincent-olivert-riera left a comment

Choose a reason for hiding this comment

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

LGTM 👍🏻

@kfdm kfdm merged commit 6414d44 into line:master Nov 2, 2023
4 checks passed
@kfdm kfdm deleted the remove-rtd branch November 2, 2023 01:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants