Please mark off-topic discussions with [OT]

[Walter Bright via Digitalmars-d]

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.