Is this repo dead?

[jackmtpt]

No PRs merged since 2023. Has Microsoft abandoned this project?

[HowardWolosky]

I'd like to think not. I'm not currently an administrator on it, so I'm unable to do any merges. I'll reach out to some folks to see if I can either regain push permissions or see if someone can step up to be a bit more active in here.