AAde@Lavendar77·4dfa5cd6cI wonder how /dev/null will handle GitHub username changes 🤔 If you change your GitHub username, do you keep your commits or will a new account be created?2Quote
SLStephen Lake@stephenlake·4dbc5bcc9GitHub OAuth provides your User ID, it doesn't change.20:25 · Oct 24, 2026 · commit bc5bcc93QuoteReply