Hello Ian,
Thank you for tracking this down.
Possible actions:
– We could disable forced pushes in bitbucket for the master branch to stop this happening again (this should presumably be done for all the repositories, so it should be done by a script).
– The super-repo update system should be fixed so that errors like this are detected and reported
I think both are very good things to do. There should not be any commits that rewrite history on the public branches. This should also include the release branches.
Yours, Roland