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.