| Index: git_tools.py
|
| diff --git a/git_tools.py b/git_tools.py
|
| old mode 100644
|
| new mode 100755
|
| index a5f5bfc0c27fe3119ab2e0675b7696ae0b9aaade..5f52f9e593dc68ebadd6c988c056582c45e69af5
|
| --- a/git_tools.py
|
| +++ b/git_tools.py
|
| @@ -156,7 +156,7 @@ def PopulateCache(git_url, shallow=False):
|
| if shallow and 'adobe' in git_url:
|
| depth = 10
|
| mirror = git_cache.Mirror(git_url, print_func=lambda *args: None)
|
| - mirror.populate(depth=depth, shallow=shallow)
|
| + mirror.populate(depth=depth, shallow=shallow, ignore_lock=True)
|
| return mirror.mirror_path
|
|
|
|
|
|
|