Skip to content

feat(runner-runtime): default git identity to JorisJonkers Agent#14

Merged
jorisjonkers-dev-agents[bot] merged 1 commit into
mainfrom
feat/runner-git-identity
Jul 7, 2026
Merged

feat(runner-runtime): default git identity to JorisJonkers Agent#14
jorisjonkers-dev-agents[bot] merged 1 commit into
mainfrom
feat/runner-git-identity

Commits

Commits on Jul 7, 2026