Skip to content

chore: add signing key for arv#9

Merged
tantaman merged 2 commits into
mainfrom
arv/signing
Jul 1, 2026
Merged

chore: add signing key for arv#9
tantaman merged 2 commits into
mainfrom
arv/signing

Conversation

@arv

@arv arv commented Jul 1, 2026

Copy link
Copy Markdown
Contributor

No description provided.

Copilot AI review requested due to automatic review settings July 1, 2026 07:01

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds a new SSH public key entry to the repository’s allowed_signers list so the Verify Signed Commit Authors workflow can recognize signatures from the new signer identity.

Changes:

  • Add a new allowed_signers entry for arv@roci.dev.
  • Scope the key to the git namespace and apply a valid-after constraint.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/signing/allowed_signers Outdated
@tantaman tantaman added this pull request to the merge queue Jul 1, 2026
Merged via the queue into main with commit 6a393b0 Jul 1, 2026
4 checks passed
@arv arv deleted the arv/signing branch July 1, 2026 14:01
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