diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2022-10-14 17:16:59 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2022-10-14 17:16:59 -0700 |
commit | 4a5262698e0555b2947fa7b3bd9a366a4e8b3ed3 (patch) | |
tree | 86a17fcde32bcb0ad5e98c980366058f1828c90b | |
parent | d3c8282d15ec79f22a4f5c29145e56d288161f86 (diff) | |
download | dotfiles-4a5262698e0555b2947fa7b3bd9a366a4e8b3ed3.tar.gz |
mr push: pass through arguments to git-push-all
-rw-r--r-- | .mrconfig.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.mrconfig.in b/.mrconfig.in index 7fb5a9fa..ee07785e 100644 --- a/.mrconfig.in +++ b/.mrconfig.in @@ -15,7 +15,7 @@ git_autoci = : # avoid pushing non-matching branches, while trying to avoid errors # from trying to push to read-only remotes -git_push = git push-all +git_push = git push-all "$@" # find dirty working directories, i.e., uncommitted changes, untracked # files and stashes |