On 17/08/15 16:38, Hugh Cayless wrote:
I think we should just call the user "root" "TEI Council", and use the Council email address.
Following up on this, it seems a sensible idea to me that we should add a TEI Council user to github and use tei-council@lists.tei-c.org as its email address. Does anyone have any objections before I just go an add that user? Before doing so we would need Kevin to add notifications@github.com (and if possible to whitelist domains, *@noreply.github.com) to the approved senders for the tei-council mailing list. Council list would then get any notifications to repositories we subscribed that user to. This seems like a useful thing, given we can always mute repositories in our personal accounts. What are the problems I'm overlooking? -James -- Dr James Cummings, James.Cummings@it.ox.ac.uk Academic IT Services, University of Oxford