Update restart script.

2026-04-20 15:00:08 +01:00
parent e8db7666a4
commit 65e620a48d
1 changed files with 1 additions and 0 deletions
--- a/automation/restart.sh
+++ b/automation/restart.sh
@@ -1,2 +1,3 @@
 #!/usr/bin/bash
+(cd /query-ci && git pull)
 killall -9 swipl