Jörg Thalheim e82d3a3d91 add option to reload github projects ... fix mypy		2023-10-12 23:58:59 +02:00
..
buildbot_nix.py	add option to reload github projects	2023-10-12 23:58:59 +02:00
github_projects.py	add option to reload github projects	2023-10-12 23:58:59 +02:00
worker.py	worker: move global variables to config class	2023-09-15 09:09:41 +02:00