I found the commit, 8547c616dcc7c3ee51f174d118c81b38847974af, and I pushed the changes up to there, so I think that everything is back to normal. Sorry for this.
Best, Jorge On Sun, Feb 14, 2021 at 1:13 PM Jorge Cardoso Leitão < jorgecarlei...@gmail.com> wrote: > Hi, > > I mistakenly force-pushed master with an outdated master. Could someone > revert this? I can't find the commit hash with the (good) latest master > anywhere. > > Really sorry about this!! :( > > Jorge > >