Skip to content

Various tweaks to fetch-develop-deps#4147

Merged
dbkr merged 1 commit intodevelopfrom
rav/fetch_deps_tweaks
Jun 1, 2017
Merged

Various tweaks to fetch-develop-deps#4147
dbkr merged 1 commit intodevelopfrom
rav/fetch_deps_tweaks

Conversation

@richvdh
Copy link
Copy Markdown
Member

@richvdh richvdh commented Jun 1, 2017

  • tell git to checkout the right branch, rather than cloning and then changing.
  • clone with depth 1 under travis, to save time.
  • less pushd/popd, which print out confusing text - use cd in a subshell
    instead. (and just avoid it where possible).
  • add some markers to the output to let travis roll it up.

* tell git to checkout the right branch, rather than cloning and then changing.
* clone with depth 1 under travis, to save time.
* less pushd/popd, which print out confusing text - use `cd` in a subshell
  instead. (and just avoid it where possible).
* add some markers to the output to let travis roll it up.
@dbkr dbkr merged commit 19f9900 into develop Jun 1, 2017
@richvdh richvdh deleted the rav/fetch_deps_tweaks branch June 14, 2017 16:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants