Re: [PATCH] Add push --set-upstream

Very competently done.  Will look forward to see the conclusion of the
follow-up discussions I haven't read but see in my mailreader.

Thanks.