Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: a1e91231aa5dba34c10f039446177d0f55871623 https://github.com/galaxyproject/galaxy/commit/a1e91231aa5dba34c10f039446177... Author: John Chilton <jmchilton@gmail.com> Date: 2017-11-02 (Thu, 02 Nov 2017) Changed paths: M lib/galaxy/dependencies/pinned-requirements.txt M scripts/common_startup.sh Log Message: ----------- If installing dev dependencies, do so along side regular dependencies. Catch conflicts and works faster. Commit: bbd96c435b866a2cab7299fadf0687d7e2c99e3e https://github.com/galaxyproject/galaxy/commit/bbd96c435b866a2cab7299fadf068... Author: Nicola Soranzo <nsoranzo@tiscali.it> Date: 2017-11-15 (Wed, 15 Nov 2017) Changed paths: M lib/galaxy/dependencies/pinned-requirements.txt M scripts/common_startup.sh Log Message: ----------- Merge pull request #4903 from jmchilton/dev_at_same_time Install dev and regular dependencies at the same time. Compare: https://github.com/galaxyproject/galaxy/compare/54c6a794e9c6...bbd96c435b86