2021-10-23 17:14:31

by Julia Lawall

Subject: [PATCH v2] 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 <[email protected]>

---

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 <[email protected]>
M: Gilles Muller <[email protected]>
M: Nicolas Palix <[email protected]>
-M: Michal Marek <[email protected]>
-L: [email protected] (moderated for non-subscribers)
+L: [email protected] (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/

2021-10-23 19:20:43

by Kees Cook

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

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 <[email protected]>

Reviewed-by: Kees Cook <[email protected]>

--
Kees Cook

2021-10-25 17:11:49

by Luis Chamberlain

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

On Sat, Oct 23, 2021 at 10:10 AM Julia Lawall <[email protected]> wrote:

> -L: [email protected] (moderated for non-subscribers)
> +L: [email protected] (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

2021-10-25 21:51:48

by Julia Lawall

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

On Mon, 25 Oct 2021, Luis Chamberlain wrote:

> On Sat, Oct 23, 2021 at 10:10 AM Julia Lawall <[email protected]> wrote:
>
> > -L: [email protected] (moderated for non-subscribers)
> > +L: [email protected] (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