force pushing to guix master?

[Development of GNU Guix and the GNU System distribution.]

Hi!  My guix mirror stopped updating:

https://gitlab.com/debdistutils/guix/mirror/-/commits/master?ref_type=HEADS

I understand force pushing is sometimes needed, but is there any policy
on this for Guix?

I suppose I'll just force-push to (hopefully) intended commit from
codeberg and things will be alright again, but I worry if this is a
common pattern that there ought to be some policy around.

/Simon

signature.asc
Description: PGP signature