[robbedpeter]

Github changed everything. All sorts of automation and open source involvement happened, with new bots and systems.

[psyc]

Y'know, it actually slipped my mind that Microsoft transformed into a much more open-source friendly company. That makes some sense now.