ignore errors of git fetch --tag as this fails on a case-insensitive filesystem like...

diff --git a/module-tools.py b/module-tools.py
index e9f3096..85e4e3e 100755 (executable)
--- 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.