Andreas Köpf 8906854dbf Extract UserRepository and TaskRepository from PromptRepository ...

* Extract classes UserRepository and TaskRepository from PromptRepository
* move close_task() to TaskRepository and get_user_leaderboard to UserRepository()
* Use UserRepository in leaderboards endpoint, add type annotation to leaderboards endpoint

2023-01-08 19:08:47 +01:00

..

v1

Extract UserRepository and TaskRepository from PromptRepository

2023-01-08 19:08:47 +01:00

__init__.py

started re-working python code

2022-12-19 18:00:09 +01:00

deps.py

#438 Frontend type (#483)

2023-01-07 21:33:57 +01:00