Skip to content

Conversation

@philrz
Copy link
Contributor

@philrz philrz commented Jul 3, 2023

The broken links in https://github.com/brimdata/zed-docs-site/actions/runs/5449035153/jobs/9912874914 didn't become apparent until after the merge of #4694.

Once this merges, I'll put up another PR to fix the breakages within the older revisions that live within the zed-docs-site repo.

@philrz philrz requested a review from a team July 3, 2023 23:33
@philrz philrz self-assigned this Jul 3, 2023
@philrz philrz merged commit 8d32e57 into main Jul 3, 2023
@philrz philrz deleted the fix-zeek-doc-links branch July 3, 2023 23:50
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.

3 participants