1# Pushing to a repo that doesn't exist creates it, under your own name only.2. "$(dirname "$0")/../lib.sh"3user dami4user ana5mkdir "$T/w/notes" && at "$T/w/notes" git init -q6at "$T/w/notes" commit "notes"7at "$T/w/notes" git config user.name dami8ok push_ssh dami "$T/w/notes" "$FORGE_SSH:dami/notes.git" main9exists "$FORGE_ROOT/dami/notes.git/hooks/pre-receive"10eq "$(git --git-dir="$FORGE_ROOT/dami/notes.git" rev-parse main)" "$(git -C "$T/w/notes" rev-parse main)"11fails_with "only dami can create repos under dami/" push_ssh ana "$T/w/notes" "$FORGE_SSH:dami/other.git" main12missing "$FORGE_ROOT/dami/other.git"