Changing your GitHub username: how painful is it on a scale from 1 to 10? (Account is from 2008, almost daily activity in many different repos and projects.)
Why is this step necessary? kosmos.social might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here