OpenID Identity URL for gpleda.org commit robot