Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: a9d3a82f1bf8bbb9c8fb12bf4edec90105b59dba https://github.com/galaxyproject/galaxy/commit/a9d3a82f1bf8bbb9c8fb12bf4edec... Author: guerler <aysam.guerler@gmail.com> Date: 2018-07-25 (Wed, 25 Jul 2018) Changed paths: M lib/galaxy/tools/__init__.py Log Message: ----------- Notify user if newer tool versions are available Commit: 84159d37cc44146716cc0f59df0a149aa5b0539e https://github.com/galaxyproject/galaxy/commit/84159d37cc44146716cc0f59df0a1... Author: Dannon <dannon.baker@gmail.com> Date: 2018-07-25 (Wed, 25 Jul 2018) Changed paths: M lib/galaxy/tools/__init__.py Log Message: ----------- Merge pull request #6533 from guerler/new_tool_version Notify if newer tool version is available Compare: https://github.com/galaxyproject/galaxy/compare/d5a057fe37b5...84159d37cc44 **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.