Hi All, To reduce our mail clutter and keep the mailinglists relevant, I changed the location the PR mails go to. >From now PR mails should also be going to issues@ If you want to follow this list you can send a mail to [email protected]
We shall keep this mailinglist for human interactions, you will still receive personal mails from GitHub if a ticket you are linked on is being worked on (depending on the notification scheme you are using on GitHub). Cheers, Hans
