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 >
