Make git happy again.

Seems like Push simple broke old versions of git.
Removing it for now.