Hi @Bertrand BURCKER the repos cli does not support the export command.
Below are the supported commands by repos.
Commands:
create -- Creates a repo.
delete -- Deletes a repo.
get -- Lists information about a repo.
list -- Lists all available repos in the workspace.
update -- Updates information about a repo.
You can get this information by running
databricks repos --help
Please refer to https://docs.databricks.com/dev-tools/cli/repos-cli.html#repos-cli
