Closed JoshuaKGoldberg closed 8 months ago
I kept https://github.com/DefinitelyTyped/DefinitelyTyped/pull/55468 as a draft for a week and a half, then opened today. @typescript-bot now thinks it's been open for 12 days and inactive 😄
https://github.com/DefinitelyTyped/DefinitelyTyped/pull/55468#issuecomment-917468702
Re-ping @«anyone?»: This PR has been out for over a week, yet I haven't seen any reviews. Could someone please give it some attention? Thanks!
Re-ping @«anyone?»:
This PR has been out for over a week, yet I haven't seen any reviews.
Could someone please give it some attention? Thanks!
Closing out my old issues for repos I no longer have context on. If anybody has a need for what this issue was asking about, I'd encourage them/you to file a new issue. Cheers!
I kept https://github.com/DefinitelyTyped/DefinitelyTyped/pull/55468 as a draft for a week and a half, then opened today. @typescript-bot now thinks it's been open for 12 days and inactive 😄
https://github.com/DefinitelyTyped/DefinitelyTyped/pull/55468#issuecomment-917468702