[galaxy-commits] commit/galaxy-central: greg: Fixes for deactivating / uninstalling a repository containing tools.