Yes please. :) On Sun, Feb 14, 2021, 22:08 Wes McKinney <wesmck...@gmail.com> wrote:
> Should we make master a "protected branch" now that we've resolved to > not rebase master ever again? > > On Sun, Feb 14, 2021 at 6:23 AM Jorge Cardoso Leitão > <jorgecarlei...@gmail.com> wrote: > > > > 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 > > > > > > >