Git: Maintain a recent push/pull command history

Very annoying to change the command every time if you are in a
non-github-like git workflow (e.g., gerrit).

Also, use mono font in the dialog since thats what is normally used for
commands and is more readable.