#!/usr/bin/env bash
ssh -tA ${1} "
  cd ~/mlaga97-nix \
    && git fetch \
    && git reset --hard origin/main \
    && ./system.sh \
    && git push
" && git fetch