From 65e620a48deb9453eab1c3849632222dc823ec2b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Se=C3=A1n=20Healy?= Date: Mon, 20 Apr 2026 15:00:08 +0100 Subject: [PATCH] Update restart script. --- automation/restart.sh | 1 + 1 file changed, 1 insertion(+) 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