On 31/05/2019 16:45, Cliff Schomburg wrote:
I'm proposing a shortcut for this command.

What's wrong with "$ git push -u origin branch"?

--
Patryk Obara

Reply via email to