summaryrefslogtreecommitdiff
path: root/MAINTAINERS
diff options
context:
space:
mode:
authorJulia Lawall <Julia.Lawall@inria.fr>2021-10-23 17:56:47 +0200
committerJulia Lawall <Julia.Lawall@inria.fr>2021-10-23 21:48:36 +0200
commit33e71e95f4eb444646cada9d90e41984ba2c173d (patch)
treeb8da0f3ac4fe8e8108c62e0d1145c7811df45705 /MAINTAINERS
parentac5f313624d876b41d4a1292181d17e80d44159c (diff)
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>
Diffstat (limited to 'MAINTAINERS')
-rw-r--r--MAINTAINERS7
1 files changed, 3 insertions, 4 deletions
diff --git a/MAINTAINERS b/MAINTAINERS
index 7d46f03e5037..3548f956f734 100644
--- 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/