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
https://github.com/microsoft/vscode/pull/310226
https://github.com/cwebster-99
The linked revert PR is not from Microsoft (and also isn't merged)
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.
Author is absolutely from Microsoft
https://github.com/microsoft/vscode/pull/310226
https://github.com/cwebster-99
The linked revert PR is not from Microsoft (and also isn't merged)
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.