On Mon, Jun 15, 2020 at 09:17:43PM +0200, Richard Biener wrote: > On June 15, 2020 7:19:13 PM GMT+02:00, Joseph Myers <jos...@codesourcery.com> > wrote: > >I don't know if deleting and then recreating a user branch (in separate > > > >pushes) avoids the limit (and the excess mails) in the case where a > >user > >branch is being rebased, but I expect it should. > > Can you document this (and how to do it) in git.html?
For me it was just $ git push fsf :refs/users/segher/heads/cc0 $ git push fsf cc0:refs/users/segher/heads/cc0 (just like on any other git), but it is probably different if you used the customization stuff. Segher
