tree c8418682b457fe71088230d1994a71530cdfa782
parent 5fa0f5238b0cd46cfe7f6fa76c3f526ea98148d9
author René Scharfe <l.s.r@web.de> 1570973859 +0200
committer Junio C Hamano <gitster@pobox.com> 1571104511 +0900

remote-curl: use argv_array in parse_push()

Use argv_array to build an array of strings instead of open-coding it.
This simplifies the code a bit.

We also need to make the specs parameter of push(), push_dav() and
push_git() const to match the argv member of the argv_array.  That's
fine, as all three only actually read from the specs array anyway.

Signed-off-by: René Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>