ci: Replace deleted s1d3sw1ped_bot commit identity #12

Merged
linus merged 1 commit from ci/scrub-bot-identity into develop 2026-09-03 06:44:48 +00:00
Owner

Fixes #11

Replace s1d3sw1ped_bot git user.name/email in .gitea/workflows/update.yml with eva / s1d3sw1ped+eva@gmail.com. Push path unchanged (job token).

After merge: tip-align master (history-only FF if possible).

Fixes #11 Replace `s1d3sw1ped_bot` git user.name/email in `.gitea/workflows/update.yml` with `eva` / `s1d3sw1ped+eva@gmail.com`. Push path unchanged (job token). After merge: tip-align master (history-only FF if possible).
Use eva for scheduled bump commits; push still via job token.
linus merged commit f6f3520415 into develop 2026-09-03 06:44:48 +00:00
Commenting is not possible because the repository is archived.
No reviewers
No labels
blocked
No milestone
No project
No assignees
1 participant
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
s1d3sw1ped/grok-bot-bin!12
No description provided.