feat(tasks): per-actor sandbox GitHub identity on multiplayer transitions - #71941

Merged

VojtechBartos merged 10 commits into

vojtab/github-identity-transitions

Jul 27, 2026

Commits on Jul 27, 2026

feat(tasks): rebind or log out sandbox GitHub identity on actor transitions
VojtechBartos
committed
6ddd067
fix(tasks): stop the sandbox retaining a prior actor's GitHub token
VojtechBartos
committed
e3de07c
chore(tasks): log when a follow-up actor lacks GitHub repo access
VojtechBartos
committed
e648d50
fix(tasks): fail closed on unconfirmed github credential transitions
VojtechBartos
committed
c13eb28
chore(tasks): harden error paths in the github identity gate
VojtechBartos
committed
f4ac78d
chore(tasks): extract shared per-actor rebind gate
VojtechBartos
committed
5a21130
fix(tasks): serialize per-sandbox github credential writers
VojtechBartos
committed
3c47784
fix(tasks): deliver the per-actor github token to gh via a PATH shim
VojtechBartos
committed
46c9daa
fix(tasks): raise sandbox credential lock TTL to cover the full write
VojtechBartos
committed
71ec01e
fix(tasks): install the gh shim at runtime for snapshot resumes
VojtechBartos
committed
7ac8834