#!/usr/bin/env bash
# Keeps the files beside a bare main clone at origin/main (see
# tools/refresh-checkout.sh for why that copy exists and drifts): once a fetch
# has moved origin/main, refresh it. In the background, so the fetch returns at
# once, and logged rather than printed, since the fetch is usually an agent's.
[ ||
||
common=
[ ||
script="/tools/refresh-checkout.sh"
[ ||
&