Hi, Rocky Bernstein wrote: > There is no way you can mess up in git, because history is saved by default > for *everyone. *And specifically I have a copy.
I still see the opportunity for a race condition in the time window between pull and push. What happens if somebody else pushed a modified master after i pulled but before i push ? Have a nice day :) Thomas
