download/git: try to recover from utterly-broken repositories
authorYann E. MORIN <yann.morin.1998@free.fr>
Tue, 1 May 2018 08:44:12 +0000 (10:44 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Tue, 1 May 2018 19:22:28 +0000 (21:22 +0200)
commitb7efb43e86da9699af94392f595a9e6421cbc958
treed6ee2c3b7e057892dac270f0ea387570e7da2fd6
parent428a0649fff33b43243d64e9e1556bc00811e9b6
download/git: try to recover from utterly-broken repositories

In some cases, the repository may be in a state we can't automatically
recover from, especially since we must still support oldish git versions
that do not provide the necessary commands or options thereof.

As a last-ditch recovery, delete the repository and recreate the cache
from scratch.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Cc: Maxime Hadjinlian <maxime.hadjinlian@gmail.com>
Cc: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Cc: Ricardo Martincoski <ricardo.martincoski@gmail.com>
Cc: Arnout Vandecappelle <arnout@mind.be>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
support/download/git