Skip to content

Rename command line options, for consistency

Niels Möller requested to merge nisse/rename-options into main

--token-key-file to --token-key --log to --log-key --submit-key to --key

Merge request reports