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.