[galaxy-commits] commit/galaxy-central: greg: Do not display the same repository multiple times on the Monitor installing tool shed repositories page when installing / reinstalling repositories into Galaxy.