Empty repository page showing a single block of shell commands to paste.

john / johnbot
empty · master
paste this
git init
git remote add origin git@forge:john/johnbot
mkdir -p .forge && printf '[repo]\nvisibility = "public"\n' > .barerepo/config
git add -A
git commit -m "first"
git push -u origin master
the third line is what makes it public. without it the repository stays private, because there is nowhere else to keep that.
already have a repo somewhere?
git remote set-url origin git@barerepo:john/johnbot && git push --all
john / johnbotbarerepo 0.1.0