[mmlb]

In this instance the PR that was merged was from 6 years ago and was clear https://github.com/pedronauck/reworm/pull/28. Looks to me like a force push overwrote the commit that now exists in history since it was done 6y later.

[globular-toast]

So who force pushed and why?

[retropragma]

likely a compromised github API token