BUT: of course the whole thing is a bit worrying re: centralization and depending on how Microsoft handles the acquisition, it might kill GitHub because Microsoft isn't notoriously good at keeping acquisitions in a good state.