+ rm -rf .temp
+
+push: build/CoqPass.hs
+ git push http://git.megacz.com/coq-garrows.git master
+ git add -f build/CoqPass.hs
+ git commit -m 'update baked-in CoqPass.hs'
+ git push http://git.megacz.com/coq-garrows.git master:coq-extraction-baked-in
+ git reset HEAD^