Remove push option for netbook.

I'm using debian 7 with git 1.7. The option does not exist yet and it
makes git angry.