Keep the on-$PATH miren CLI in sync with the self-managed server#969

phinze merged 1 commit into

mainmirendev/runtime:mainfrom

phinze/mir-1275-keep-the-on-path-miren-cli-in-sync-with-the-self-managedmirendev/runtime:phinze/mir-1275-keep-the-on-path-miren-cli-in-sync-with-the-self-managedCopy head branch name to clipboard