Re: [cocci] Current git URL

On Wed, Mar 25, 2026 at 04:05:31PM +0100, Julia Lawall wrote:
> 
> 
> On Wed, 25 Mar 2026, Richard W.M. Jones wrote:
> 
> > Hi,
> >
> > We recently patched Fedora coccinelle to support pcre2.  One issue we
> > hit was that the website refers to the upstream git repository as:
> >
> > https://github.com/coccinelle/coccinelle/
> >
> > See for example the link here on what I assume is the correct upstream
> > website:
> >
> > https://coccinelle.gitlabpages.inria.fr/website/download.html
> >
> > However, upstream development (and the pcre2 patches) seem to appear
> > only on INRIA's gitlab instance.  We actually couldn't find the
> > patches or this git repo initially, as the coccinelle website doesn't
> > seem to refer to it at all:
> >
> > https://gitlab.inria.fr/coccinelle/coccinelle
> >
> > It'd be nice if this was fixed (or the github repo was synchronized).
> 
> I updated the github repository.

Great, thanks Julia.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-builder quickly builds VMs from scratch
http://libguestfs.org/virt-builder.1.html