Ah, so my GitHub username automatically become my username on dev-null.sh. It looks like I can't change it directly on dev-null.sh, but I'm curious what would happen if I changed my GitHub username 馃
You can change it on GitHub and then sync here (there is a button on the profile page)!