main branch history overwritten

[mweberxyz]

Looks like all merged PRs after #3001 was merged and prior to #3025 are gone.

[KhafraDev]

@mcollina @ronag

[ronag]

I'm confused as to what has happened

[ronag]

As far as I can tell the following are missing:

845c713
fa5bcb4
d3d24e2
9278de9
74bd88e
ad4a5e5
9b744a3

Lucky nothing that should affect our users.

[mcollina]

I've limited force pushing

[mcollina]

Done