coccinelle: update Coccinelle entry

Update mailing list, website, and tree.  Drop Michal Marek as a
maintainer, who has not participated in a long time.

Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
Reviewed-by: Kees Cook <keescook@chromium.org>

diff --git a/MAINTAINERS b/MAINTAINERS
index 7d46f03e50377e9e854eb141a8799c276c4eb10b..3548f956f7342e7dbfe6203a017724cd5ac03377 100644 (file)
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -4594,11 +4594,10 @@ COCCINELLE/Semantic Patches (SmPL)
 M:     Julia Lawall <Julia.Lawall@inria.fr>
 M:     Gilles Muller <Gilles.Muller@inria.fr>
 M:     Nicolas Palix <nicolas.palix@imag.fr>
-M:     Michal Marek <michal.lkml@markovi.net>
-L:     cocci@systeme.lip6.fr (moderated for non-subscribers)
+L:     cocci@inria.fr (moderated for non-subscribers)
 S:     Supported
-W:     http://coccinelle.lip6.fr/
-T:     git git://git.kernel.org/pub/scm/linux/kernel/git/mmarek/kbuild.git misc
+W:     https://coccinelle.gitlabpages.inria.fr/website/
+T:     git git://git.kernel.org/pub/scm/linux/kernel/git/jlawall/linux.git
 F:     Documentation/dev-tools/coccinelle.rst
 F:     scripts/coccicheck
 F:     scripts/coccinelle/