Someone had to design that automation. And it sounds like the message was at least made to look like it came from a person.
[1] https://github.com/opal/opal/issues/954 [2] https://github.com/CoralineAda?tab=activity
I'm not terribly surprised. GitHub is, after all, a company which changed its logo to celebrate a highly political U.S. Supreme Court decision and which has had issues with left-wing racism (http://www.businessinsider.com/github-the-full-inside-story-...).
For me it's still about the organization, and singling out individuals is about as productive as yelling at customer support on the phone.
Related: The company is slipping my mind right now, but one startup changed their email name in automated messages from male to female and saw improved metrics as a result.