get user name, else get github's username