isn't there a better way to move a repository than to dump the whole dang thing, move it, and load it back in?