[galaxy-dev] Managing galaxy-central in a local svn repo