From 70cc678f95bc4bda9c4f25733499c944716dc1f1 Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Mon, 19 Oct 2015 12:42:52 -0200
Subject: Sync: may ignore repositories

---
 share/hydra/sync | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/share/hydra/sync b/share/hydra/sync
index d425d90..9b1d097 100755
--- a/share/hydra/sync
+++ b/share/hydra/sync
@@ -21,6 +21,10 @@ hydra_config_load
 # Sync each repository.
 function hydra_sync {
   for repository in $*; do
+    if [ -e "$HYDRA_FOLDER/config/repository/ignore/$repository" ]; then
+      continue
+    fi
+
     if [ "$repository" == "keyringer" ]; then
       UPDATE_KEYRINGER="yes"
       continue
-- 
cgit v1.2.3