since I updated git, I can use default push =simple now