[galaxy-commits] commit/galaxy-central: greg: Designate repositories that can be uninstalled in the Manage installed tool shed repositories grid in Galaxy.