Re: [Tails-dev] Force pushed stable branch by mistake

Hi,

anonym (2020-04-24):
> Also, I wonder if this force-push can have some other consequences
> on Jenkins (or other infra). It seems to me that restoring an old
> state should do nothing vs our garbage-collection mechanism, for
> instance, but I might overlook or not be aware of some
> other mechanism.

Off the top of my head, none of the pieces infra I can think of, that
interact with our Git repo, should be affected: they tend to
use a "fetch + reset --hard @{u}" flow rather than fetch+merge.

The only exception I can think of is our translation platform, but it
only cares about our master branch. I *think* that force-pushing to
our master branch could cause significant trouble there.