zhanghai [Feature] Update GitHub username.