Problem adding a github identity to gerrit