Branch: refs/heads/release_18.09 Home: https://github.com/galaxyproject/galaxy Commit: df4fbe6b92457fa910f014bbd3a8dd84c25d3969 https://github.com/galaxyproject/galaxy/commit/df4fbe6b92457fa910f014bbd3a8d... Author: Dannon Baker <dannon.baker@gmail.com> Date: 2018-09-17 (Mon, 17 Sep 2018) Changed paths: M client/galaxy/scripts/mvc/tool/tools.js Log Message: ----------- Swap badge-default to badge-primary Commit: b2193bddc2aea250a189171ae61ed992b0449c84 https://github.com/galaxyproject/galaxy/commit/b2193bddc2aea250a189171ae61ed... Author: Dannon Baker <dannon.baker@gmail.com> Date: 2018-09-17 (Mon, 17 Sep 2018) Changed paths: M client/galaxy/docs/bootstrap.md Log Message: ----------- Drop badge-default from docs, correctly refer to secondary. Commit: a9273218424c1687bedf112591f2bbf735d32aa8 https://github.com/galaxyproject/galaxy/commit/a9273218424c1687bedf112591f2b... Author: Dannon Baker <dannon.baker@gmail.com> Date: 2018-09-17 (Mon, 17 Sep 2018) Changed paths: M client/galaxy/scripts/galaxy.pages.js M client/galaxy/scripts/mvc/tool/tool-form-base.js M client/galaxy/scripts/mvc/tool/tool-form-composite.js M client/galaxy/scripts/mvc/workflow/workflow-manager.js M client/galaxy/scripts/mvc/workflow/workflow-view.js Log Message: ----------- Client format. Commit: 0040c36d4561155af3f32262d186e186349d989d https://github.com/galaxyproject/galaxy/commit/0040c36d4561155af3f32262d186e... Author: John Chilton <jmchilton@gmail.com> Date: 2018-09-17 (Mon, 17 Sep 2018) Changed paths: M client/galaxy/docs/bootstrap.md M client/galaxy/scripts/galaxy.pages.js M client/galaxy/scripts/mvc/tool/tool-form-base.js M client/galaxy/scripts/mvc/tool/tool-form-composite.js M client/galaxy/scripts/mvc/tool/tools.js M client/galaxy/scripts/mvc/workflow/workflow-manager.js M client/galaxy/scripts/mvc/workflow/workflow-view.js Log Message: ----------- Merge pull request #6726 from dannon/badge-default-fix [18.09] Badge default fix Compare: https://github.com/galaxyproject/galaxy/compare/32223161c7ca...0040c36d4561 **NOTE:** This service has 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.