Re: Stupid git!

[Eli Zaretskii]

> From: David Kastrup <address@hidden>
> Date: Mon, 14 Sep 2015 12:29:37 +0200
> Cc: Sven Axelsson <address@hidden>, emacs <address@hidden>
> 
> Pulling is not a really good thing to do if you have uncommitted work.

I'm doing it all the time, and have yet to report a single problem.

It's the simplest way of minimizing the probability of spurious
merges, when someone else pushes before you.  If you commit then pull,
and someone else pushed in between, you will get that "merged branch
master" thing.