Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 575676

Summary: Please create a mailing list of github comment archiving
Product: Gentoo Infrastructure Reporter: Michał Górny <mgorny>
Component: Mailing ListsAssignee: Gentoo Infrastructure <infra-bugs>
Status: IN_PROGRESS ---    
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

Description Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2016-02-25 21:17:36 UTC
As discussed on IRC, a mailing list to whose we'd direct all incoming github mail for gentoo/gentoo.git for achiving.
Comment 1 Robin Johnson archtester Gentoo Infrastructure gentoo-dev Security 2016-02-28 19:20:36 UTC
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?
Comment 2 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2016-02-28 19:29:48 UTC
Maybe just github-gentoo?
Comment 3 Robin Johnson archtester Gentoo Infrastructure gentoo-dev Security 2016-02-28 22:27:59 UTC
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.
Comment 4 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2016-02-28 22:32:19 UTC
How about gentoo-github for the gentoo repo, and possibly gentoo-github-sth for other repos if they ever request such a thing?
Comment 5 Robin Johnson archtester Gentoo Infrastructure gentoo-dev Security 2016-02-28 22:52:33 UTC
(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.
Comment 6 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2016-02-28 22:57:06 UTC
Sure, whatever works for you.
Comment 7 Robin Johnson archtester Gentoo Infrastructure gentoo-dev Security 2016-02-29 02:27:41 UTC
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.