Hello,
On Tue, 5 Jan 2021, Danny Milosavljevic wrote:
On Tue, 5 Jan 2021 18:12:35 +0000
Ramsay Jones <ram...@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://m...@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.
_______________________________________________
Tinycc-devel mailing list
Tinycc-devel@nongnu.org
https://lists.nongnu.org/mailman/listinfo/tinycc-devel
