Thank you Dawid, for fixing this promptly. And also adding protection against force_push <https://github.com/apache/lucene/pull/15265> for main and branch_10x (we still need to confirm if the wildcards work but these branches should be safe).
Folks, you might see "git pull" fail with a fatal, due to remote branch being overwritten. Just resetting your local main branch to a few commits back and doing a git pull should fix it. On Tue, Sep 30, 2025 at 9:26 AM Dawid Weiss <[email protected]> wrote: > > This has been fixed already, no worries. > > Dawid > > On Tue, Sep 30, 2025 at 5:33 PM Ignacio Vera <[email protected]> wrote: > >> Ignacio Vera <[email protected]> >> 5:05 PM (4 minutes ago) >> to private >> Sorry folks, >> >> I was working on something and I screwed up my windows and I ended up >> pushing into main a commit that is missing the last week of work (last >> commit from September 24th). I wonder if we have some procedure in this >> case. >> >> Sorry about that, I am gutted. >> >> Ignacio >> >
