`#push` without args should do same as `git push` without args#636

Merged

jcouball merged 1 commit intomasterfrom

push_with_no_options

Mar 2, 2023

Commits on Mar 2, 2023

#push without opts should do same as `git push` with no options
jcouball
committed