Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: 732b5722ae7c668634185209171fa55288e19985 https://github.com/galaxyproject/galaxy/commit/732b5722ae7c668634185209171fa... Author: Nicola Soranzo <nicola.soranzo@tgac.ac.uk> Date: 2015-12-04 (Fri, 04 Dec 2015) Changed paths: M lib/tool_shed/galaxy_install/migrate/check.py Log Message: ----------- Do not mess with galaxy_config_file, if provided. Commit: 01a919ce6a7cc29556e257fd0af46f5071310748 https://github.com/galaxyproject/galaxy/commit/01a919ce6a7cc29556e257fd0af46... Author: Martin Cech <cech.marten@gmail.com> Date: 2015-12-07 (Mon, 07 Dec 2015) Changed paths: M lib/tool_shed/galaxy_install/migrate/check.py Log Message: ----------- Merge pull request #1253 from nsoranzo/dev_verify_tools Tool migration: do not mess with galaxy_config_file, if provided. Compare: https://github.com/galaxyproject/galaxy/compare/371125bc870a...01a919ce6a7c