Re: [cocci] update Coccinelle entry

[Kees Cook]

On October 23, 2021 9:01:18 AM PDT, Julia Lawall <julia.lawall@xxxxxxxx> wrote:
>Update mailing list and website.  Drop Michal Marek as a maintainer, who
>has not participated in a long time.
>
>Signed-off-by: Julia Lawall <Julia.Lawall@xxxxxxxx>
>
>---
>
>For information.  This will be in my tree.
>
>diff --git a/MAINTAINERS b/MAINTAINERS
>index 7d46f03e5037..8746149b6623 100644
>--- a/MAINTAINERS
>+++ b/MAINTAINERS
>@@ -4594,10 +4594,9 @@ COCCINELLE/Semantic Patches (SmPL)
> M:	Julia Lawall <Julia.Lawall@xxxxxxxx>
> M:	Gilles Muller <Gilles.Muller@xxxxxxxx>
> M:	Nicolas Palix <nicolas.palix@xxxxxxx>
>-M:	Michal Marek <michal.lkml@xxxxxxxxxxx>
>-L:	cocci@xxxxxxxxxxxxxxx (moderated for non-subscribers)
>+L:	cocci@xxxxxxxx (moderated for non-subscribers)
> S:	Supported
>-W:	http://coccinelle.lip6.fr/
>+W:	https://coccinelle.gitlabpages.inria.fr/website/
> T:	git git://git.kernel.org/pub/scm/linux/kernel/git/mmarek/kbuild.git misc

Perhaps drop this tree and add yours, too?

> F:	Documentation/dev-tools/coccinelle.rst
> F:	scripts/coccicheck




-- 
Kees Cook