Re: Deleted the last week of commits in main

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
>>
>