... as proposed in https://github.com/sagemath/trac-to-github/pull/113#issuecomment-1380751188 Currently, unknown milestones are just ignored.