Paul Bienkowski 426e6c8593 Rename users when they log in with a new preferred_username		2022-09-26 11:53:54 +02:00
..
api	Rename users when they log in with a new preferred_username	2022-09-26 11:53:54 +02:00
bin	Fix logging and use coloredlogs for nicer output	2022-02-18 11:15:00 +01:00
__init__.py	Move API to python.	2021-11-22 09:50:33 +01:00