thanks for the reply! username and email get pulled from gitlab, too. So, how to proceed? Do I file a bug report on github?