Make "bot users" not count towards license
Problem to solve
We have a number of bot users. The current licensing model forces us to use the same gitlab user for all integrations, since each counts as a full user license-wise
Further details
Proposal
Allow marking a user as a "bot user" which limited functionality (for example, the user could be made unable to use the gitlab web ui, only the api, and all activity from the user in PRs etc would be marked as a "bot user").
What does success look like, and how can we measure that?
Implementing the requested feature.