}
t-check-master-undisturbed () {
- local master=`t-git-get-ref refs/heads/master`
+ local master; master=`t-git-get-ref refs/heads/master`
if [ x$master != x$oldmaster ]; then fail "bad update to master"; fi
}
push_and_check +HEAD:master
-echo done.
+t-ok