Skip to content

Conversation

@TomerFi
Copy link
Owner

@TomerFi TomerFi commented Jan 26, 2026

Summary

  • Switch git identity from github.actor to github-actions[bot] (ID 41898282)
  • Add SSH commit signing using SIGNING_KEY secret
  • Updates both release.yml and test_run.yml (update_readme job)

Changes

Identity

git config user.name "github-actions[bot]"
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"

SSH Signing

- name: Setup SSH signing
  run: |
    mkdir -p ~/.ssh
    echo "${{ secrets.SIGNING_KEY }}" > ~/.ssh/signing_key
    chmod 600 ~/.ssh/signing_key
    git config gpg.format ssh
    git config user.signingkey ~/.ssh/signing_key
    git config commit.gpgsign true

Prerequisites

  1. Add public SSH key to GitHub account as signing key
  2. Add SIGNING_KEY secret to release and update-docs environments

@pull-request-size pull-request-size bot added the size: s Pull request has 10 to 30 lines label Jan 26, 2026
@auto-me-bot auto-me-bot bot added the status: needs review Pull request needs a review label Jan 26, 2026
@TomerFi TomerFi merged commit 66f701e into main Jan 26, 2026
7 checks passed
@TomerFi TomerFi deleted the chore/bot-identity-and-ssh-signing branch January 26, 2026 20:34
@auto-me-bot auto-me-bot bot added status: merged Pull request merged and removed status: needs review Pull request needs a review labels Jan 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size: s Pull request has 10 to 30 lines status: merged Pull request merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants