[dmd-internals] Git question: How do I push a *single* branch?

[Leandro Lucarella]

Don Clugston, el 21 de noviembre a las 15:35 me escribiste:
> >> git push origin : branch1  ---> push everything. The "branch1"
> >> argument is irrelevant, except that it must exist locally
> >
> > It says matching, so the need to exist locally and at the remote site.
> > I think 'git push origin :' is actually equivalent to 'git push origin'.
> 
> Yes. But once there's a ' : ' in the list, it makes no sense for other
> branches to be listed. It should be an error.

Report it! Git devs are really concerned about this usability issues and
always improving git in that way. Just send an e-mail to
git at vger.kernel.org mailing list. They even do an usability survey every
year, results from the last one can be seen here:
https://www.survs.com/results/Q5CA9SKQ/P7DE07F0PL

-- 
Leandro Lucarella (AKA luca)                     http://llucax.com.ar/