github... need suggestions from you.

Tom Janson tom.janson@rwth-aachen.de
Tue Dec 9 13:40:00 GMT 2014


Hi,

On Tue, Dec 9, 2014 at 1:15 PM, Bryan Hundven <bryanhundven@gmail.com> 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].github.com and Gmail even offers “Filter messages from
this mailing list”.

–TJ

--
For unsubscribe information see http://sourceware.org/lists.html#faq



More information about the crossgcc mailing list