1# Only public repos are pinned: a pinned repo made private drops out of its2# owner's page (and the defaults never take one), and no private repo shows3# on another owner's page or the home page.4. "$(dirname "$0")/../lib.sh"5user ana6user bob7for r in ana/notes ana/cards bob/game; do8 repo "$r"9 clone "${r%%/*}" "$r" "$T/w/${r#*/}"10 tick 360011 at "$T/w/${r#*/}" commit "first"12 push_as "${r%%/*}" "$T/w/${r#*/}" origin main13done14repo --private bob/hidden15clone bob bob/hidden "$T/w/hidden"16tick 360017at "$T/w/hidden" commit "newest of all"18push_as bob "$T/w/hidden" origin main19ok ssh_as ana profile pin cards notes20export FORGE_STRICT=121build22p=$FORGE_WWW/ana/index.html23eq "$(grep -o 'class="pin-name" href="/ana/[a-z]*/"' "$p" | sed 's|.*/ana/||; s|/"||' | tr '\n' ' ')" "cards notes "24rm "$FORGE_ROOT/ana/cards.git/git-daemon-export-ok"25build26eq "$(grep -o 'class="pin-name" href="/ana/[a-z]*/"' "$p" | sed 's|.*/ana/||; s|/"||' | tr '\n' ' ')" "notes "27lacks "$p" '/ana/cards/'28has "$FORGE_WWW/bob/index.html" '<h2>recently active</h2>'29for f in "$FORGE_WWW/bob/index.html" "$FORGE_WWW/index.html" "$FORGE_WWW/ana/index.html"; do lacks "$f" '/bob/hidden/|newest of all'; done