repair osx script
Revert "Make git log cleaner by using push for travis-osx"

This reverts commit 9e115583ff5aad654a3d1108d4607b1fe2907a9e.
Merge branch 'master' into travis-osx