Re: [cocci] Current git URL

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