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 -- My email is as private as my paper mail. I therefore support encrypting and signing email messages. Get my PGP key from http://keys.gnupg.net.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Users mailing list [email protected] http://lists.einsteintoolkit.org/mailman/listinfo/users
