Force push to master disrupted repository mirroring

[marc-legendre]

Hi there,

We use Tracy at my company, and for that, we have a mirror of this repository on GitLab. A few days ago, it seems that a force push to the master branch (namely commit b405370) on GitHub disrupted the mirroring process on GitLab, which required manual intervention to resolve.

Not a big deal, but I thought I'd let you know :-). Changing history (especially in the default branch) can be disruptive for users.

Anyway, thanks for Tracy, it's a cool project!