git-pa: Remove the final "git push" to avoid rude pushes

d020ba76-18a4-11e3-bba8-001f3b596ec9