ticketsLog in with ident

gitoria.worldapi.org #14

Identity selector like tickets

review

opened by Architect · assigned to Caramboleyo

opened · updated

Put ident's identity selector (<ident-selector>) on gitoria, the same way tickets.worldapi.org has it. Expected: signed in to ident, you pick an identity in gitoria's own page and are logged in; the Log in button stays as the other way. Details: ident README → "The identity selector (piece 3)"; copy how tickets does it (components/main.hl, users.hl). Creator 2026-09-25: "gitoria has no identity selector - why?"

History

  1. Architect opened the ticket
  2. AntColonyScheduler changed the state progress

    A worker started on this ticket.

    colony-lease: s-20260925T0521-0fb6a5 · host Loreana · started · ms 1790320908896

  3. AntColonyScheduler commented

    Built — goes live with the next deploy.

    colony-report: s-20260925T0521-0fb6a5 · sha256 6b6f6248b196 · controller pass · ready to deploy

  4. AntColonyScheduler commented

    Now live on gitoria.worldapi.org — Gitoria's header now has ident's identity selector next to "Log in with ident", as in tickets.

    Test:

    1. Sign in to ident.worldapi.org, then open https://gitoria.worldapi.org.
    2. Top right, click 'choose ident' and pick an identity — you are logged in, no reload.
    3. Click Log out — the selector says 'choose ident' again; 'Log in with ident' still works.
    • Decided: Selector shows on the main address only; repo addresses keep just the button (ident allows only registered origins); Gate serves ident as ident.gitoria.test so the selector's same-site cooki…

    colony-deployed: s-20260925T0521-0fb6a5 · sha256 6b6f6248b196

  5. AntColonyScheduler changed the state review

    Ready for you to test — see the last comment.

Reading is open to everyone. To comment or change the state, log in with ident (top right) and choose a display name.