OpenID Identity URL for git-ubuntu bot