After pushing a PR up that requires (for a number of reasons) a large number of style fixes, this could result in many 10s of comments. This is very tedious to go one by one and resolve when clearly pronto knows it already made a comment, and could very well determine which comments are still an issue or resolved.
I found this: https://github.com/Vasfed/pronto-github_resolver but it appears to only work with github (which is fine for my efforts), but it's rather old and using graphql to directly communicate with github all while not really being maintained (not that there's much to maintain).
Could that be something that is brought into this repo as a feature of pronto and the various formatters to handle auto resolving of comments?
After pushing a PR up that requires (for a number of reasons) a large number of style fixes, this could result in many 10s of comments. This is very tedious to go one by one and resolve when clearly pronto knows it already made a comment, and could very well determine which comments are still an issue or resolved.
I found this: https://github.com/Vasfed/pronto-github_resolver but it appears to only work with github (which is fine for my efforts), but it's rather old and using graphql to directly communicate with github all while not really being maintained (not that there's much to maintain).
Could that be something that is brought into this repo as a feature of pronto and the various formatters to handle auto resolving of comments?