Microsoft scared GitHub's users