[PATCH v2] coccinelle: update Coccinelle entry

[PATCH v2] coccinelle: update Coccinelle entry

[Julia Lawall]

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>

---

v2: adjust tree

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/

Re: [PATCH v2] coccinelle: update Coccinelle entry

[Kees Cook]

On Sat, Oct 23, 2021 at 07:10:06PM +0200, Julia Lawall wrote:
> 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>

-- 
Kees Cook

Re: [cocci] [PATCH v2] coccinelle: update Coccinelle entry

[Luis Chamberlain]

On Sat, Oct 23, 2021 at 10:10 AM Julia Lawall <julia.lawall@inria.fr> wrote:

> -L:     cocci@systeme.lip6.fr (moderated for non-subscribers)
> +L:     cocci@inria.fr (moderated for non-subscribers)

BTW if one was subscribed to the old list, does the subscription move
over to the new one? And do posts to the old list go to the new one?

  Luis

Re: [cocci] [PATCH v2] coccinelle: update Coccinelle entry

[Julia Lawall]

On Mon, 25 Oct 2021, Luis Chamberlain wrote:

> On Sat, Oct 23, 2021 at 10:10 AM Julia Lawall <julia.lawall@inria.fr> wrote:
>
> > -L:     cocci@systeme.lip6.fr (moderated for non-subscribers)
> > +L:     cocci@inria.fr (moderated for non-subscribers)
>
> BTW if one was subscribed to the old list, does the subscription move
> over to the new one? And do posts to the old list go to the new one?

Everyone should be moved over.  I just sent a message with the subject
Test.  Let me know if you did not receive it.

julia