>Sounds like this could have been solved with a couple of internal emails

This is actually what I'd least like to see Github become i.e. takedowns based on an internal bigcorp emails, with a pristine PR message sent out only if people complain.

It's much nicer that it's out in the open as it is.