1# A pushed branch is a review: created, each push a revision, deletion logged,2# and every revision pinned under refs/forge/keep but hidden from clients.3. "$(dirname "$0")/../lib.sh"4user dami5user ana6repo dami/greet7clone dami dami/greet "$T/w/dami"8at "$T/w/dami" commit "first"9push_as dami "$T/w/dami" origin main10clone ana dami/greet "$T/w/ana"11at "$T/w/ana" commit "idea"12ok push_as ana "$T/w/ana" -o title=Idea origin HEAD:ana/idea13log=$FORGE_ROOT/dami/greet.git/forge/reviews/114has "$log" '^branch ana/idea$'15has "$log" '^created [0-9]+ ana$'16has "$log" '^opt title=Idea$'17eq "$(grep -c '^rev ' "$log")" 118at "$T/w/ana" git commit -q --amend -m "idea, again"19ok push_as ana "$T/w/ana" -f origin HEAD:ana/idea20eq "$(grep -c '^rev ' "$log")" 221eq "$(git --git-dir="$FORGE_ROOT/dami/greet.git" for-each-ref refs/forge/keep | wc -l | tr -d ' ')" 222eq "$(git ls-remote "$FORGE_ROOT/dami/greet.git" | grep -c refs/forge || true)" 023ok push_as ana "$T/w/ana" origin :ana/idea24has "$log" '^deleted [0-9]+ ana$'