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

Point to super/issues instead of zed/issues #89

Merged
merged 1 commit into from
Jan 16, 2025
Merged

Point to super/issues instead of zed/issues #89

merged 1 commit into from
Jan 16, 2025

Conversation

philrz
Copy link
Contributor

@philrz philrz commented Jan 15, 2025

tl;dr

This PR fixes links to GitHub Issues at old "zed" URLs that have started being flagged by the link checker as HTTP 404.

Details

For some reason the link checker has started flagging HTTP 404 for links to issues at the old https://github.com/brimdata/zed/issues URLs. GitHub's repo redirect logic is still in place and if I try to access such an issue URL in a browser it still makes it to the right place in the end, but indeed if I do a straight curl to the same URL I just get a plain 404. I could burn time hacking with the link checker config to figure out if there's a magic config combo that might allow it to handle the redirect on its own, but it seems quicker to just fix the URLs.

I did a test deployment of a build from this branch to a personal staging site and it ran clean through a link checker.

@philrz philrz requested review from mattnibs and nwt January 15, 2025 22:36
@philrz philrz self-assigned this Jan 15, 2025
@philrz philrz requested a review from jameskerr January 16, 2025 17:37
@philrz philrz merged commit b419e44 into main Jan 16, 2025
1 check passed
@philrz philrz deleted the zed-issues-404 branch January 16, 2025 18:34
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