Another option that I would use (but requires some comfort with git) would be sticking with the one in your ~/.julia/dev directory, and just doing git checkout devbranch and git checkout v0.whatever #the release version.
Another option that I would use (but requires some comfort with git) would be sticking with the one in your ~/.julia/dev directory, and just doing git checkout devbranch and git checkout v0.whatever #the release version.