[galaxy-commits] commit/galaxy-central: greg: Fix for uninstalling a repository from Galaxy.