1# Going private or being removed takes a repo off the index, its owner's2# page and repos.json before the command returns, not in a build in the3# background: the mirror's sync within 30 seconds (mirror_kick soon) must4# not find the listing still there.5. "$(dirname "$0")/../lib.sh"6user dami7repo dami/greet8repo dami/other9for r in greet other; do10 clone dami "dami/$r" "$T/w/$r"11 at "$T/w/$r" commit "first"12 push_as dami "$T/w/$r" origin main13done14build15has "$FORGE_WWW/repos.json" '"dami/greet"'16# Builds in the background from here, as on the server.17export FORGE_NO_BUILD=018ok ssh_as dami private dami/greet19lacks "$FORGE_WWW/repos.json" '"dami/greet"'20lacks "$FORGE_WWW/index.html" 'dami/greet'21lacks "$FORGE_WWW/dami/index.html" 'href="/dami/greet/"'22has "$FORGE_WWW/repos.json" '"dami/other"'23ok ssh_as dami rm dami/other --yes24lacks "$FORGE_WWW/repos.json" '"dami/other"'25missing "$FORGE_WWW/dami"