Xavier Morel 54337aeccc [IMP] runbot_merge: rework (de)provisioning ... - Update `get_reviewers` to returning all active users, as that makes more sense for the server side operations, this is now redundant with `list_users`, so eventually internals should be fixed and it removed. - Update `remove_users` to deactivate the user as well as move it to portal, since the mergebot doesn't use portal keeping enabled portal users doesn't make much sense. - Reorganise `provision_user` to make the update path more obvious. Fixes #968		2025-01-28 16:11:14 +01:00
..
__init__.py	[FIX] runbot_merge: make staging serialization more useful	2025-01-20 15:48:47 +01:00
dashboard.py	[MERGE] runbot_merge, forwardport: latest updates	2024-11-19 12:18:59 +01:00
reviewer_provisioning.py	[IMP] runbot_merge: rework (de)provisioning	2025-01-28 16:11:14 +01:00