A way for admins to edit users' external IDs

Why are you updating the external_id? The external_id is supposed to be a immutable identifier of the user in the auth source, like the ID column from the database or a long UUID, or anything stable.

From the documentation:

2 Likes