diff options
| author | Jeff King <peff@peff.net> | 2020-09-30 08:29:09 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-09-30 12:53:47 -0700 |
| commit | 5b9427e0ac4d4b6c96f23fc5eb9b047a27563c65 (patch) | |
| tree | 8e6744c448ef3dc389c0089dfd89e21afb93ac50 /builtin/commit.c | |
| parent | 8d2aa8dfac4048c964453a8983f1dc12ecdfe1c3 (diff) | |
push: drop unused repo argument to do_push()
We stopped using the "repo" argument in 8e4c8af058 (push: disallow --all
and refspecs when remote.<name>.mirror is set, 2019-09-02), which moved
the pushremote handling to its caller.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions