Even their sales teams work with GitHub repos, so not that surprising I’d say.