From 37022b6a9143b5b4fc6db144c50a1e3b7ebfc99f Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sun, 23 Aug 2020 11:35:19 +0530
Subject: [PATCH] Dont require git master on CI in POT

---
 setup/translations.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/setup/translations.py b/setup/translations.py
index 873ab47a4a..8aa8cf8b63 100644
--- a/setup/translations.py
+++ b/setup/translations.py
@@ -212,7 +212,8 @@ class POT(Command):  # {{{
                 time=time.strftime('%Y-%m-%d %H:%M+%Z'))
 
     def run(self, opts):
-        require_git_master()
+        if not is_ci:
+            require_git_master()
         self.get_iso639_strings()
         if not is_ci:
             self.get_website_strings()