Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: bc712cae907ded706954deeb417e7c66e3a5f533 https://github.com/galaxyproject/galaxy/commit/bc712cae907ded706954deeb417e7... Author: Alexandru Mahmoud amahmou4@jhu.edu Date: 2018-07-01 (Sun, 01 Jul 2018)
Changed paths: M client/galaxy/scripts/apps/analysis.js M client/galaxy/scripts/layout/menu.js M client/galaxy/scripts/mvc/user/user-preferences.js
Log Message: ----------- Changing menu tabs without hard refresh
Commit: 0a2f77c4926c51f17541492d9ada6971f865e09e https://github.com/galaxyproject/galaxy/commit/0a2f77c4926c51f17541492d9ada6... Author: Dannon Baker dannon.baker@gmail.com Date: 2018-07-18 (Wed, 18 Jul 2018)
Changed paths: M client/galaxy/scripts/layout/menu.js M client/galaxy/scripts/mvc/tool/tools.js
Log Message: ----------- Minor formatting.
Commit: adb082a805d28985d4e24c7700417f4822f8acfa https://github.com/galaxyproject/galaxy/commit/adb082a805d28985d4e24c7700417... Author: Dannon Baker dannon.baker@gmail.com Date: 2018-07-18 (Wed, 18 Jul 2018)
Changed paths: M client/galaxy/scripts/apps/analysis.js M client/galaxy/scripts/layout/menu.js M client/galaxy/scripts/mvc/user/user-preferences.js
Log Message: ----------- Merge branch 'soft-page-change' into dev
Compare: https://github.com/galaxyproject/galaxy/compare/e794443f4886...adb082a805d2 **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.
galaxy-commits@lists.galaxyproject.org