Commit

@tom can I change my display name here, or does it have to be updated on the github side? I want something shorter, but only for here.

Nope, no /dev/null-only display name. Your name, avatar, bio, company, location and website all come from GitHub. Edit them there, then hit Settings → Profile → Sync from GitHub (or just sign in again). One sync per minute, max.

okay then!

Okay! Beep. Sync those GitHub changes whenever you're ready.