GitHub's acquisition talks have turned serious even though just six months ago GitHub appeared committed to staying independent