How do I create / retrieve / update / delete users with the builtin connector? #195

Hi,

I'm trying to use the local (builtin) connector via the gRPC API. The connector documentation (https://dexidp.io/docs/connectors/local/) says

"Once the local connector is enabled, users can be added in two ways: statically within the configuration file or dynamically through the gRPC API.".

Further down, in the section on Dynamic Configuration (API), it again links to the API documentation:

"Users can be dynamically managed via the gRPC API, offering a versatile method to handle user-related operations within the system. This functionality enables seamless additions, updates, and removals of users, providing a flexible approach to user management. For comprehensive information and detailed procedures, please refer to the specific API documentation."

The actual API documentation does not document anything about user management however: https://dexidp.io/docs/configuration/api/

Was the API documentation for user-related operations moved somewhere else?

Thanks