git: use simple push style