I'm moving docpub publishing to the releases Jenkins to work around a limitation with GitLab permissions model.
When Jenkins CSRF protection is enabled, anonymous calls to the API fail with 401, even if the required permissions are given to the "anonymous" user. To be able to trigger the downstream docpub job from GitLab I'm going to need a new, non-human user. The releases Jenkins pulls its users and groups from LDAP, without the option to add local users once the LDAP realm is being used.
As a result I need a new LDAP user not associated to a real person. This user doesn't require an associated/reserved uid or exist as a unix user anywhere, only the releases Jenkins needs to be aware of it. The user may also be useful for other API calls in the future, so maybe we can give it a generic name, for example: jenkins-releases-api jenkinsrelapi (IDM wouldn't take dashes, underscores or upper case letters)