]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d2aa8d) | patch
push: drop unused repo argument to do_push()
authorJeff King <peff@peff.net>
Wed, 30 Sep 2020 12:29:09 +0000 (08:29 -0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 30 Sep 2020 19:53:47 +0000 (12:53 -0700)
commit5b9427e0ac4d4b6c96f23fc5eb9b047a27563c65
tree8e6744c448ef3dc389c0089dfd89e21afb93ac50tree | snapshot
parent8d2aa8dfac4048c964453a8983f1dc12ecdfe1c3commit | 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>
builtin/push.c diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.