[cocci] Current git URL

[cocci] Current git URL

[Richard W.M. Jones]

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).

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
libguestfs lets you edit virtual machines.  Supports shell scripting,
bindings from many languages.  http://libguestfs.org

Re: [cocci] Current git URL

[Julia Lawall]

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.

julia

>
> Rich.
>
> --
> Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
> Read my programming and virtualization blog: http://rwmj.wordpress.com
> libguestfs lets you edit virtual machines.  Supports shell scripting,
> bindings from many languages.  http://libguestfs.org
>
>

Re: [cocci] Current git URL

[Richard W.M. Jones]

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