[l2dy]

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

[beardbandit]

Author is absolutely from Microsoft

https://github.com/microsoft/vscode/pull/310226

https://github.com/cwebster-99

[kllrnohj]

The linked revert PR is not from Microsoft (and also isn't merged)

[politelemon]

It is merged

[PinkSheep]

dmitriv recreated in a separate PR and merged that. The linked revert PR by a user was closed.

[ncr100]

Yep - Says he's got a Microsoft.com email address:

> "feel free to reach me directly (my alias @microsoft.com) or"

[lightdot]

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

[asdfasgasdgasdg]

The PR linked to in https://news.ycombinator.com/item?id=47992431 is not yet approved as of May 3 4:08 GMT.