fix!: rename `portal` to `adminPortal`#1562

Open

gjtorikian wants to merge 3 commits intomainfrom

admin-portal-migration

Commits on Apr 17, 2026

Commits on Apr 18, 2026

fix: address review comments on admin portal PR

devin-ai-integration[bot]
and
gjtorikian
committed