diff --git a/automation/restart.sh b/automation/restart.sh
index 0d76aa1..09c77f7 100755
--- a/automation/restart.sh
+++ b/automation/restart.sh
@@ -1,2 +1,3 @@
 #!/usr/bin/bash
+(cd /query-ci && git pull)
 killall -9 swipl