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 /gitweb/static/js/javascript-detection.js | |
| parent | assert PARSE_OPT_NONEG in parse-options callbacks (diff) | |
| download | git-5b9427e0ac4d4b6c96f23fc5eb9b047a27563c65.tar.gz git-5b9427e0ac4d4b6c96f23fc5eb9b047a27563c65.zip | |
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 'gitweb/static/js/javascript-detection.js')
0 files changed, 0 insertions, 0 deletions
