Restore 'git push simple', still needed