github_merge: do not crash if a user and no public name