diff --git a/sync-all-repos b/sync-all-repos
index 434f7cb..0c83697 100755
--- a/sync-all-repos
+++ b/sync-all-repos
@@ -46,7 +46,7 @@ update_repo() {
 REPOLIST="$HOME/.ctt $HOME/bin $HOME/vcs/notes $HOME/vcs/nico-dot-cdist $HOME/vcs/cdist-workdir/dot-cdist $HOME/vcs/ansible-main"
 REPOLIST2="$REPOLIST $HOME/.password-store"
 
-PULL_PUSH_REPOS="$HOME/vcs/k8s-config/ $HOME/vcs/ansible-main/"
+PULL_PUSH_REPOS="$HOME/vcs/k8s-config/ $HOME/vcs/ansible-main/ $HOME/vcs/icrc"
 
 # First in parallel, then en sequence to spot errors
 for repo in ${REPOLIST}; do ( update_repo $repo & ) ; done