From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Sat, 30 Apr 2022 17:12:30 +0000 (+0200)
Subject: ignore errors of git fetch --tag as this fails on a case-insensitive filesystem like... 
X-Git-Url: http://git.onelab.eu/?p=build.git;a=commitdiff_plain;h=6f5a23ccd2eb12b26397d46f2bf60e3ca2c62ef9

ignore errors of git fetch --tag as this fails on a case-insensitive filesystem like my macos fs (thanks to our IT guys)
---

diff --git a/module-tools.py b/module-tools.py
index e9f30965..85e4e3e8 100755
--- a/module-tools.py
+++ b/module-tools.py
@@ -199,7 +199,7 @@ class GitRepository:
             self.__run_command_in_repo("git checkout {}".format(branch))
         else:
             self.to_branch(branch, remote=True)
-        self.__run_command_in_repo("git fetch origin --tags")
+        self.__run_command_in_repo("git fetch origin --tags", ignore_errors=True)
         self.__run_command_in_repo("git fetch origin")
         if not self.__is_commit_id(branch):
             # we don't need to merge anything for commit ids.