For rvm, the `@edx-platform` isn't actually related to the git directory name, so that should be ok. I'm not sure if there are other places that reference the directory by name, though.