Yes it's done and the problem solved, I closed the JIRA ticket, sorry for the mistake
-----Message d'origine----- De : Karl Wright <[email protected]> Envoyé : mercredi 21 septembre 2022 17:27 À : dev <[email protected]> Objet : Re: Github mirror out of sync Hi - you created a CONNECTORS ticket. We need an INFRA ticket instead. Karl On Wed, Sep 21, 2022 at 10:53 AM Karl Wright <[email protected]> wrote: > It's not been reported before, no. Can you file an INFRA ticket for this? > Karl > > > On Wed, Sep 21, 2022 at 10:48 AM Julien Massiera < > [email protected]> wrote: > >> Hi, >> >> >> >> I am not sure it has been reported but the Github mirror seems out of >> sync with the SVN repo since June >> >> >> >> Julien >> >> >> >> >> >> >> >>
