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 <[email protected]> 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 < > [email protected]> 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 > > > >
