Console Output

00:07:31 + git push origin master
00:07:32 To github.com:cforall/cforall.git
00:07:32    3f82652..4e6b14b  master -> master