Dirigent config as a separate JSON #520
Description
Extract Dirigent's configuration to a separate JSON.
Better support for '-trace', '-RPS', and '-Dandelion' suffixes. This would lead to fewer duplications of platforms.
{{ message }}
Extract Dirigent's configuration to a separate JSON.
Better support for '-trace', '-RPS', and '-Dandelion' suffixes. This would lead to fewer duplications of platforms.