Jörg Thalheim cb1e2640cd make worker name configurable		2024-04-15 15:17:25 +02:00
..
__init__.py	git clone project if it doesn't exist yet in local-merge case	2024-04-11 10:47:06 +00:00
github_projects.py	only refresh github projects in timer and sort them	2024-01-08 11:45:01 +00:00
worker.py	make worker name configurable	2024-04-15 15:17:25 +02:00