As discussed on IRC, a mailing list to whose we'd direct all incoming github mail for gentoo/gentoo.git for achiving.
What do we want to name it? gentoo-github-gentoo@lists.g.o? (if it's JUST the repo/gentoo.git) gentoo-github@lists.g.o? (if it's all repos @ github.com/gentoo?) other ideas?
Maybe just github-gentoo?
The list name MUST start with "gentoo-", we use it as a mapping on the mailserver configs; supporting other list names that didn't start with "gentoo-" ended up being a big pain in our mail config.
How about gentoo-github for the gentoo repo, and possibly gentoo-github-sth for other repos if they ever request such a thing?
(In reply to Michał Górny from comment #4) > How about gentoo-github for the gentoo repo, and possibly gentoo-github-sth > for other repos if they ever request such a thing? In that case, just starting with gentoo-github-$GH_REPONAME@lists.g.o makes sense. Sure, it looks a bit weird in the case of repo/gentoo, but other repos look fine. I think blueness would like it for the musl overlay.
Sure, whatever works for you.
mgorny: gentoo-github-gentoo@lists.g.o is created. Similar config to gentoo-commits@lists.g.o. The only way to _send_ to it is to set a magic header (during forwarding). You can find the present value for this in: pigeon:/var/lists/gentoo-github-gentoo/control/access We'll need to create a special account on woodpecker still, with a sieve/procmail that adds that header and forwards. It does also add a Reply-To header in the list code, dunno if you'd prefer to add it during procmail. We might also want to see about overriding some of the other headers that might leak the email address of the bot, to ensure that people can't fake github as the source of the mail to get it onto the list.