Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: c64f27e014ea4f79b45c2a7172ccee10edf11ec7 https://github.com/galaxyproject/galaxy/commit/c64f27e014ea4f79b45c2a7172cce... Author: Marius van den Beek <m.vandenbeek@gmail.com> Date: 2015-10-10 (Sat, 10 Oct 2015) Changed paths: M lib/tool_shed/galaxy_install/repair_repository_manager.py Log Message: ----------- Only return repository if it is not None ( This happends for the repository that we try to repair). Add the repository to be repaired to installed_repository list. Commit: 744ed8cd4c80c742d12762202f52795b56f0fcf0 https://github.com/galaxyproject/galaxy/commit/744ed8cd4c80c742d12762202f527... Author: Martin Cech <cech.marten@gmail.com> Date: 2015-10-14 (Wed, 14 Oct 2015) Changed paths: M lib/tool_shed/galaxy_install/repair_repository_manager.py Log Message: ----------- Merge pull request #891 from mvdbeek/repair_repository_id_fix Only return repository if it is not None ( This happens for the repo… Compare: https://github.com/galaxyproject/galaxy/compare/6c95ef9d969a...744ed8cd4c80