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

This reverts commit 9e115583ff5aad654a3d1108d4607b1fe2907a9e.