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