Add --force option to fetch_sources.py
authorThomas Spurden <thomas.spurden@broadcom.com>
Wed, 16 Dec 2020 12:26:52 +0000 (12:26 +0000)
committerAlexander Galazin <Alexander.Galazin@arm.com>
Wed, 13 Jan 2021 08:39:02 +0000 (08:39 +0000)
commit2feac9e222d15c94adf3d39e61878e489a0f0aea
treeca9b2a4641eef60f4bda2cb4f90102b5caec22bf
parent04d68f42d468daa4dbaefb707adcc749155f4fba
Add --force option to fetch_sources.py

This passes --force to git fetch and checkout.

Change-Id: I56a7ccafefb2eaac69d2253516308daa8e8808cf
external/fetch_sources.py