git push default is `simple`