RE: Github mirror out of sync
Yes it's done and the problem solved, I closed the JIRA ticket, sorry for the mistake -Message d'origine- De : Karl Wright Envoyé : mercredi 21 septembre 2022 17:27 À : dev 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 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 < > julien.massi...@francelabs.com> 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 >> >> >> >> >> >> >> >>
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 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 < > julien.massi...@francelabs.com> 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 >> >> >> >> >> >> >> >>
Re: Github mirror out of sync
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 < julien.massi...@francelabs.com> 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 > > > > > > > >