You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
One thing that happens on big pull requests is that there are many old comments made by pronto.
Would it be possible to add an option to delete old comments made by the bot before new ones are made? This means existing issues are reported again but fixed issues are gone.
The text was updated successfully, but these errors were encountered:
@Kostronor I'd accept a pull request adding such behavior. Or would write it one day myself. I would expect it to be optimized to minimize the numbers of requests. Meaning to delete unnecessary comments and do not repost old ones.
I'm looking into implementing this, since some of our PRs get very polluted and messy. I only checked GitHub API, but it seems that comments that are outdated are easily recognizable by position == nil && position != original_position. I think that'd be a good start; I hope both bitbucket and gitlab have something similar.
For comments that are not on line originally, it's easy as well since those cannot get outdated by line change.
This would also require us saving the comment_id in the Comment class and passing that around so that we know which comments to delete when the time comes.
One thing that happens on big pull requests is that there are many old comments made by pronto.
Would it be possible to add an option to delete old comments made by the bot before new ones are made? This means existing issues are reported again but fixed issues are gone.
The text was updated successfully, but these errors were encountered: