17:12:09 + git push origin master 17:12:10 To github.com:cforall/cforall.git 17:12:10 4bd4c85..8d36d97 master -> master
