[sr-dev] Slightly wacky suggestion...

[Stefan Sayer]

Hello,

o Peter Dunkley on 08/29/2013 05:15 PM:
> Would there be any mileage in considering a move to GitHub for the
> repository at the same time?

it might have changed in the meantime, but last I used GH I found
email notifications lacking a lot in configurability. For example,
would get only one email per push, not one per commit, format not
really configurable etc. Possibly you are not supposed to use emails
from GH directly.

Stefan