Far along in the future, instead of simple git repositories and paths, a registry should be made separate from LuaRocks.