From ec31efd0653a1e70ef0070cd019381a11b89df7e Mon Sep 17 00:00:00 2001
From: Theo Chatzimichos <tampakrap@opensuse.org>
Date: Nov 15 2017 19:15:32 +0000
Subject: bin/get_formulas.py: do not fetch origin if it is already added


---

diff --git a/bin/get_formulas.py b/bin/get_formulas.py
index 4253bf5..d768cb8 100755
--- a/bin/get_formulas.py
+++ b/bin/get_formulas.py
@@ -111,8 +111,8 @@ def add_remote(REMOTES, DEST):
             repo = pygit2.Repository(FULL_PATH)
             try:
                 repo.create_remote(name, full_url)
-            except ValueError:
-                pass
+            except ValueError:  # remote already exists
+                continue
             fetch_remote(repo.remotes[name], formula)