Re: master 7f4f16b: Merge branch 'master' of git.sv.gnu.org:/srv/git/emacs

[Eli Zaretskii]

> From: Yuri Khan <address@hidden>
> Date: Wed, 28 Jan 2015 23:32:34 +0700
> Cc: Eli Zaretskii <address@hidden>, address@hidden, Lars Ingebrigtsen 
> <address@hidden>, 
>       Paul Eggert <address@hidden>, Emacs developers <address@hidden>
> 
> On Wed, Jan 28, 2015 at 9:45 PM, Andreas Schwab <address@hidden> wrote:
> 
> A good thing to do before pushing is to actually see the commit graph,
> in gitk or gitg or gitx or in a pinch “git log --graph --decorate
> --oneline”, with both the current local and remote branches displayed.
> And always be explicit about what you are pushing — always “git push
> origin master”, never “git push”. (“git config push.default simple”
> helps but is not everybody’s default.)

Please don't over-complicate things, people are evidently making silly
mistakes even with simple workflows that need 3 commands.