I haven't tried it, but I believe the below might work. Please try it out and let us know.

As per the doc, https://docs.databricks.com/dev-tools/cli/workspace-cli.html#export-a-directory-from-a-workspace-to-...

You can export a directory using the below command.

databricks workspace export_dir --overwrite /Users/someone@example.com/my-folder /Users/me/Downloads/my-folder

You can use the same command and try to export the repos directory. The only change will be on the path.

databricks workspace export_dir --overwrite /Repos/someone@example.com/my-folder /Users/me/Downloads/my-folder