On Sat, 12 Jul 2025 at 12:31, Thomas Koenig <tkoe...@netcologne.de> wrote: > > 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?
Personally I'd probably just use a new branch, but it depends whether there are third parties who might be using the current branch (in this case, I assume not).
