git: use simple push