Re: [Tinycc-devel] recover commits on mob

[Michael Matz]

Hello,

On Tue, 5 Jan 2021, Danny Milosavljevic wrote:

> On Tue, 5 Jan 2021 18:12:35 +0000
> Ramsay Jones <ramsay@ramsayjones.plus.com> wrote:
>
> > I just pushed a fix-up to the 'mob' branch to recover three
> > commits which had been 'overwritten' somehow. (Danny, did
> > you not see an error message when you tried to push?).
>
> Thank you!
>
> I've reconstructed what could have happened.
>
> In the current tinycc-suggested workflow
>
>  git push ssh://mob@repo.or.cz/srv/git/tinycc.git arm-asm:mob

Yeah, but you must have used -f somewhere.  Almost never a good idea when 
pushing to some remote :-)


Ciao,
Michael.