Don't use github username

The username was never used for anything important. This also deletes
the whoami command.