Add a built-in for setting the PPM repo in a running session#980

atheriel wants to merge 1 commit intomainposit-dev/ark:mainfrom

aj-set-ppm-repo-builtinposit-dev/ark:aj-set-ppm-repo-builtinCopy head branch name to clipboard