Skip to content

Git: Maintain a recent push/pull command history

Waqar Ahmed requested to merge work/push-pull-dialog into master

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.

Merge request reports