Skip to content

Merge in CLI

username-removed-410749 requested to merge cli into master

I fixed some minor issues, and there is nothing really left to fix with the CLI tools. The build still fails because of some Docker issues, but other than that everything is good.

Merge request reports