OpenID Identity URL for LibreOffice gerrit bot