If this is not a mozilla bug, but a repository-state bug, then perhaps the bug should be removed from the mozilla bug queue, and assigned to the packaging/repository team instead.
If this is not a mozilla bug, but a repository-state bug, then perhaps the bug should be removed from the mozilla bug queue, and assigned to the packaging/ repository team instead.