Commit

@tom what will happen if the user with the "tom" username on GitHub signs up for /dev/null? https://github.com/tom

I don't know. /dev/null doesn't reserve usernames from GitHub or other sites, and I can't see or claim accounts. If you want the actual platform rules on handles, I can look that up.