Skip to content

Conversation

@aeiouaeiouaeiouaeiouaeiouaeiou
Copy link
Contributor

@aeiouaeiouaeiouaeiouaeiouaeiou
Copy link
Contributor Author

aeiouaeiouaeiouaeiouaeiouaeiou commented Feb 24, 2025

@dscho it seems like checking dead txt links takes a lot of work (need to make sure the scripts are fixed). Should I add fixes to this pull request or would it be better to make a separate one?

Copy link
Member

@dscho dscho left a comment

Choose a reason for hiding this comment

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

❤️

@dscho dscho merged commit 4be6590 into git:gh-pages Feb 24, 2025
1 check passed
@dscho
Copy link
Member

dscho commented Feb 24, 2025

it seems like checking dead txt links takes a lot of work (need to make sure the scripts are fixed).

It sure does, doesn't it? I guess that the entire update-docs.rb script needs to be vetted.

Should I add fixes to this pull request or would it be better to make a separate one?

This is a much bigger change, let's do it in a separate PR.

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