Closed JoshuaKGoldberg closed 1 year ago
I'm confused; I thought we said that this would be only be a GHA on the other repo and the mergebot has nothing to do with keeping things formatted?
Closing per the August 10th update in https://github.com/DefinitelyTyped/DefinitelyTyped/discussions/65993.
Reference implementation per the plan in https://github.com/DefinitelyTyped/DefinitelyTyped/discussions/65993.
I started creating inline threads to discuss the strategy, but need to step away for the night - will finish tomorrow.
Note that this is a rough draft - it doesn't explicitly handle edge cases. I can nail that down if & when we agree on the general strategy.