On Mon, 21 Oct 2019, Mike Stump wrote: > This isn't helpful. The advanced person already knows this and the > limitations of it, and the non-advanced people are confused by the lack > of certainty. So, the web page should not say it, and saying it here, > doesn't help much as well. Trying to have a git tutorial that covers > all the bases in two lines, isn't useful either. So, to that end, the > documentation should only list git commit, git push, alone. All other
I've seen some versions of plain "git push" in the past warn about changed defaults for what it pushes, so being explicit avoids confusing people with that warning. Though it seems that warning was removed from git in 2016, so maybe avoiding it is no longer relevant. -- Joseph S. Myers jos...@codesourcery.com