On 5/14/2016 9:31 AM, Jonathan M Davis via Digitalmars-d wrote:
On Saturday, May 14, 2016 13:27:17 ZombineDev via Digitalmars-d wrote:
Or just unsubscribe those groups from github. dmd, for example,
doesn't get messages from github anymore.
I actually like having a mailing list that gets all of those messages,
though it really doesn't work to have it then be used for normal
communication.
I like getting the github messages for another reason. There's an awful lot of
value in those messages. If github goes dark for whatever reason, we all have
copies of the git repositories, that's not a problem. But the messages would
disappear.
I.e. it's a (crude) backup of the github messages.
