Added erase-buffer! Changed gitconfig push.default = matching. So you can just do "git push origin" from now on.