Skip to content

fix(ci): the unattended repair commits as github-actions[bot], not as a stranger's GitHub account - #21

Merged
LeavesJ merged 1 commit into
mainfrom
fix/unattended-bot-identity
Sep 22, 2026
Merged

LeavesJ merged 1 commit into
mainfrom
fix/unattended-bot-identity

Conversation

@LeavesJ

@LeavesJ LeavesJ commented Sep 22, 2026

Copy link
Copy Markdown
Owner

The unattended repair workflow was copied from Felix's template, which set user.email to felix@users.noreply.github.com. That is the no-reply address of a real, unrelated GitHub account (login felix, id 4426), so any commit the repair made would have been attributed to that person.

None was: the repair path has never produced a commit here (0 commits under that address in the history, checked locally and through the search API).

This PR switches to GitHub's documented Actions identity, github-actions[bot] / 41898282+github-actions[bot]@users.noreply.github.com. It changes two static string literals and nothing else. The template is fixed in felix-home the same way, on the branch that brings the public snapshot forward.

… the GitHub user who owns felix@users.noreply.github.com

The workflow was copied from Felix's template, which set user.email to
felix@users.noreply.github.com: the no-reply address of a real, unrelated
GitHub account (login felix, id 4426). Any commit the repair made would have
been attributed to that stranger. None was: the repair path has never reached
a commit in this repository's history. The template is fixed in felix-home the
same way; this is the copy.
@LeavesJ
LeavesJ merged commit a45a985 into main Sep 22, 2026
1 check passed
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.

1 participant