Removing users - detailed process description

By removing a user, here we mean:

• either removing the user especially from the GitHub repository of a project (see Custom Widgets), or

• removing the user from the entire project, and thus also from this project's GitHub repository.

In both cases, the following steps are automatically triggered in the background:

1. A call to the GitHub API for removing the user from the GitHub repository.

2. Sending the unassign member role request to oneIDM, provided that this user is not added to a GitHub repository of another project.

3. When the unassign member role request is triggered:

   1. The status of this user in the Custom Widgets menu becomes IDM unassign requested.

   2. If the request fails, the user status changes to IDM unassign failed.

You cannot remove a user while a previously triggered assign member role request is still being processed by oneIDM.
This measure aims to prevent potential problems with overlapping requests.

For this reason, the delete icon in the UI remains disabled for this user until the previous oneIDM process has finished.