Skip to content
Success

Changes

Summary

  1. deps/update: don't fetch repos where COMMIT exists (details)
Commit 68b83cd3f62619f764642f5aab491415d3065051 by Oliver Smith
deps/update: don't fetch repos where COMMIT exists

Instead of unconditionally fetching each git repository, check if the
commit we want to checkout already exists in the git repository. If that
is the case, then don't fetch it.

Related: OS#6572
Change-Id: I342957668892e7d29666fada82362cb4a6c7aac5
The file was modifieddeps/update.sh