[galaxy-dev] Possible bug in managing tool shed repositories