fix broken link
these are honestly all over the place in my experience, any way we can lint these?
i had some idea to list all links in the documents and all possible destinations and compare them (or something like this)
this is about what i imagined, it does not work yet and has bugs
it prints every link that points to something not found in any markdown file (*.md)
I agree with the automatic check, but I disagree on the custom script, we should automate this process, and check with a Github action like this https://github.com/gaurav-nelson/github-action-markdown-link-check
We should ran this action periodically, maybe 1 time each month?
I agree with the automatic check, but I disagree on the custom script, we should automate this process, and check with a Github action like this https://github.com/gaurav-nelson/github-action-markdown-link-check
oh lol i did not search before making the script, but anyway it was fun to make
We should ran this action periodically, maybe 1 time each month?
i would suggest with every pull request
i would suggest with every pull request
for sure, but also the url can be broken after X period of time, once the PR is landed (with valid URL) on the master
i would suggest with every pull request
for sure, but also the url can be broken after X period of time, once the PR is landed (with valid URL) on the master
ok yeah, a bit of an edge case, but good to also check those. i set it to every month and every pull request now
are actions disabled in this repo?
wow, there's a script for this already? :D glad I asked
more people had issues with broken links before
I think that the PR need to be merged before, otherwise creating a fake PR that trigger the CI can put down the Github action.
I had an attack like these in one of my repo, while a go now github disable it
ok i will merge it on my fork then to test it
testing it here: https://github.com/antonilol/bolts/pull/1
it did not catch the error...