diff --git a/roles/batcave/files/infradocs.sh b/roles/batcave/files/infradocs.sh
index 70b36ccd40..12119e8864 100644
--- a/roles/batcave/files/infradocs.sh
+++ b/roles/batcave/files/infradocs.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-pushd /git/infra-docs
+pushd /git/infra-docs >& /dev/null
 git fetch -q origin
-pushd /srv/web/infra/docs
+pushd /srv/web/infra/docs >& /dev/null
 git pull -q