tree ba296aa1ad1ea61f1b8575c20bbb68dd1b3acfbf
parent 2e383636b8ea18479566ba65cdc1c8b63f9fb7ff
author Haowei Wu <haowei@google.com> 1557991129 -0700
committer Haowei Wu <haowei@google.com> 1558132159 -0700

[cache] Clear git cache if it is corrupted.

This patch adds a new feature to jiri. If a git cache was not
usable, it will be considered as corrupted and will be cleared.

Bug: INTK-1077
Test: Local
Change-Id: I01e37fd28027a9554b704968c0717ddf8cecf608