Am 12.07.25 um 13:11 schrieb Jonathan Wakely via Gcc:
Yes, it will probably make git unusable for a few hours, please don't push all at once!
OK, I won't :-)
There might be two other possibilities that I can think of:
One would be to squash all the commits (most of which came from
mainline gcc) into one huge one, and then commit that.
The other one would be to simply open a new branch and abandon
the old one.
Would either of these be preferable?
Best regards
Thomas
