#!/bin/bash
set -e
for d in . kde webui; do
    pushd "$d" >/dev/null
    git checkout main
    git pull
    popd >/dev/null
done