Join Nostr
2026-02-16 09:46:54 UTC
in reply to

Forgejo on Nostr: If the deletion is a repository deletion, nothing will happen, but the mirror will ...

If the deletion is a repository deletion, nothing will happen, but the mirror will continue trying to mirror, but fail. But, if the deletion is via git force push with a new git history on the same repository, this deletion will be propagated.
~