git: use simple pushing