Skip to content

Conversation

@shenxianpeng
Copy link
Contributor

gh-140681: Update zizmor repo and doc links

@shenxianpeng shenxianpeng changed the title Update zizmor repo and doc links gh-140681: Update zizmor repo and doc links Oct 27, 2025
@hugovk
Copy link
Member

hugovk commented Oct 27, 2025

We're in no rush here, it still works because of the redirects.

If we're going to update this, we might as well update the others (for example, prek autoupdate --jobs 0 or pre-commit autoupdate --jobs 0).

We can also now remove the self-hosted-runner of .github/actionlint.yaml.

And there might be a Sphinx Lint release fairly soon, so could also wait for that.

@hugovk hugovk added the infra CI, GitHub Actions, buildbots, Dependabot, etc. label Oct 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

awaiting review infra CI, GitHub Actions, buildbots, Dependabot, etc. skip news

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants