Great, thanks! Had seen something about this, and we are using repos for production code, but not realizing how easy it was to use personal repos inside the workspace, for development.