Open equalsJeffH opened 2 years ago
That sounds like a good idea.
Here are the files that would need to be updated:
A fix for this would need to stay compatible with pre-existing pull requests and tests should test both scenarios. I think that in practice this is actually easier than it sounds, as the logic relies on the INTRO part of the comment to remove an existing comment.
presently comment in the pr-preview block (i.e., the comment + the links inserted into a github PR's original post) does not include instructions for how to report issues with pr-preview.
Perhaps something like this would work:
...?