GitHub issue delivery settings

Repository to connect: LLM4Rocq/ellipsoid_fitting_rocq

Checking sign-in status…