#!/usr/bin/bash
(cd /query-ci && git pull)
killall -9 swipl