Re: [Libcdio-devel] [PATCH] Fix gcc warnings

[Rocky Bernstein]

On Sun, Mar 26, 2023 at 6:57 AM Thomas Schmitt <scdbackup@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 ?
>

In this case, git notices that the SHA1 that you think is current is not
the same as the SHA1 that "upstream" on Savannah and does not do the push.

 It will report this and  suggest some actions you might do to rectify this

>
>
> Have a nice day :)
>
> Thomas
>
>
>