Author of that PR doesn't seem to be a Microsoft employee. Keep in mind that anyone on GitHub can create PRs against VSCode.

lightdot 3 hours ago | parent | next [-]

Even if that would be so, the person who approved it certainly is.

	▲	asdfasgasdgasdg 36 minutes ago \| parent [-]
		The PR linked to in https://news.ycombinator.com/item?id=47992431 is not yet approved as of May 3 4:08 GMT.

Author is absolutely from Microsoft

	▲	kllrnohj 2 hours ago \| parent [-]
		The linked revert PR is not from Microsoft (and also isn't merged)