repo-push.txtar
 1# vi: set ft=conf
 2
 3# start soft serve
 4exec soft serve &
 5# wait for SSH server to start
 6ensureserverrunning SSH_PORT
 7
 8# create a repo
 9soft repo create repo-empty -d 'description' -H -p -n 'repo-empty'
10
11# clone repo
12git clone ssh://localhost:$SSH_PORT/repo-empty repo-empty
13
14# push repo
15! git -C repo-empty push origin HEAD
16
17# stop the server
18[windows] stopserver