GitHub App & multi-user identity
RepoCrew now installs as a first-class GitHub App instead of riding on OAuth tokens. Installations map to projects, and every actor on a repo resolves to a real RepoCrew identity — the foundation for team assignment and bidirectional sync.
Highlights
- App installation tokens replace per-user OAuth for all server-side Git calls.
- Branch-protection aware:
git:merge_prrefuses cleanly when required reviews aren't met — we surface the rule, we don't replicate it. - Identity mapping connects GitHub actors to workspace members in settings.