Rebase or merge. There are always ways :) On Sun, 26 Mar 2023 at 12:57, Thomas Schmitt <scdbac...@gmx.net> wrote:
> 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 > > >
