Jörg Thalheim cbe4ce0571 move extraConfig into configurator ... extraConfig can be only set once. By moving it to the configurator we allow users to set this option themself.		2023-12-08 11:11:48 +00:00
..
__init__.py	move extraConfig into configurator	2023-12-08 11:11:48 +00:00
github_projects.py	allow all members in an org to restart/cancel/trigger builds	2023-12-08 11:11:48 +00:00
worker.py	pad worker numbering	2023-11-10 13:49:24 +01:00