Not affiliated with anything of this at all, but this can totally be a good thing for them. GitHub entering this space gives them additional validation of the

Not affiliated with anything of this at all, but this can totally be a good thing for them. GitHub entering this space gives them additional validation of the existence of a market for this kind of product and gives a lot of additional exposure to the product idea as a whole. Even if they will now get a smaller percentage of developers using this kind of tool, the rise in the total number of developers using such tools will most probably make up for it.