Skip to content

Harden repository configuration - #403

Merged
StevenMaude merged 8 commits into
mainfrom
steve/harden-repository-configuration
Jul 28, 2026
Merged

Harden repository configuration#403
StevenMaude merged 8 commits into
mainfrom
steve/harden-repository-configuration

Conversation

@StevenMaude

Copy link
Copy Markdown
Contributor

Improve various parts of the repository configuration:

  • Make slight security improvements to workflows:
    • avoid persisting checkout credentials where possible
    • set permissions in workflows
    • pin the GitHub Actions used
  • Pin the actionlint Docker image used
  • Configure Dependabot for Docker and pre-commit

See https://docs.zizmor.sh/audits/#artipacked

It may be necessary for `setup.yml` to have the credentials for the `git
push`, so leaving that for now.
This isn't really used here, since version updates are disabled. But it
does mean that we have the intended configuration already, should
someone switch to using Dependabot.
This makes the scheduling consistency. It currently does not take effect
anyway, because we have `open-pull-requests` set to 0, which means we
only get security updates for `uv` (and those are not determined by
schedule).

It does mean that if someone does enable Dependabot for version updates
to be consistently timed with other updates, all that is needed is
removing the `open-pull-requests` line.
@StevenMaude
StevenMaude merged commit 3e4669e into main Jul 28, 2026
7 checks passed
@StevenMaude
StevenMaude deleted the steve/harden-repository-configuration branch July 28, 2026 09:04
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