github... need suggestions from you.

Tom Janson
Tue Dec 9 13:40:00 GMT 2014


On Tue, Dec 9, 2014 at 1:15 PM, Bryan Hundven <> wrote:
> I'm currently researching how we can integrate github and the mailing
> list. I don't want the mailing list to go away, and I'd like the
> ability for pull requests and changes to go back and forth to github
> from the mailing list and visa-versa. There is this whole service
> backend for github, and I'm sure there is a way to make this work!
> Research == Time.

How about a filtered email forward that sends the Github notifications
to the mailing list?
Not the prettiest solution, but I don’t see why it wouldn’t work.
Could be either a dedicated “fake” user and email (a bot, so to
speak), or e.g. your own, Bryan.
Gmail makes it simple: The notifications have the form
[repo].[user] and Gmail even offers “Filter messages from
this mailing list”.


For unsubscribe information see

More information about the crossgcc mailing list