Hacker News Reader

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

Author is absolutely from Microsoft

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

It is merged

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

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

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

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

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