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>
Thu, 28 Jan 2021 18:06:15 +0000 (18:06 +0000)
commit4362b5291f8c3cb4cc01cc3d29814d61a7a8b1fc
tree2f5e8567091012e125eb304a6dab815f9f0d0b01
parent1a4f3dc171ea2b450a74fb3706fef248d5dca4b7
Add --force option to fetch_sources.py

This passes --force to git fetch and checkout.

Change-Id: I56a7ccafefb2eaac69d2253516308daa8e8808cf
(cherry picked from commit 2feac9e222d15c94adf3d39e61878e489a0f0aea)
external/fetch_sources.py