1 files changed, 4 insertions, 0 deletions
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