Repository navigation
v1.11.3 — sign-in remembers the repository
Sign-out now keeps the repository (and branch) in localStorage and drops only the token, so the sign-in screen prefills the repository — no more re-typing owner/name on every login. One-line change in admin/js/github.js. Pairs with v1.11.2: a lapsed token bounces you to sign-in with the repo already filled in.