Deleted the last week of commits in main

Ignacio Vera <[email protected]>
Newsgroups gmane.comp.jakarta.lucene.devel
Message-ID <CAKryLwuvv1msEcxOwQktuxUKR-1VGyk5y2kP-xgKOmLNKgEg1Q@mail.gmail.com> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.