[galaxy-commits] commit/galaxy-central: greg: For standardization and clarity, rename Galaxy's UpdateManager to be UpdateRepositoryManager.