Open humitos opened 2 years ago
I like comments because:
1) It's conventional (other similar types of integrations do the same), and we can make "bot" appear next to the commenting profile. 2) It generates notifications, description updates may go silently unnoticed. 3) Date and time stamps for creation and modified
I originally used a comment following the "convention" but immediately remembered the things that bother me from that behavior:
Note these are all personal preferences, of course 😄
I'm sure we won't make all the users happy with this, implementing one or the other approach. That's why I opened the issue to discuss "Comment instead of edit the PR's description" and start collecting feedback and eventually implement it as configuration option.
This is a good point, and even though GitHub may know and indicate that a profile is a bot, they don't seem to have ways to filter out notifications from bot comments AFAIK.
Perhaps converting to comments is something that we can do when we have refined the message? I listed some scenarios in #4 and I think it's more clear that we need an "intelligent" way of detecting documentation changes before generating notification noise.
Summarizing: I think we should generate a comment and a notification for the first time that relevant documentation changes are seen -- so perhaps we shouldn't introduce a commenting feature at all before we can detect relevant page changes. Otherwise the comments would also have to say "something might have changed in your documentation - so we built a new version. And behold here it is, you can check it yourself" -- it does seem to be very noisy and not very useful if a repository has 90% PRs without docs changes :)
I would definitely like to have the option of having this as a comment rather than the description being edited. The main reasons are: (1) it is indeed the convention, and (2) I often need to edit the PR description many times, so straight away I'm getting a concern "will this play nicely with editing the description?" (I'm sure it works fine, but it causes some hesitation). It's all of course user preference at the end of the day, but having this as an option would be appreciated!
The action currently edits the PR description to add a separator and below that the links.
It would be good if we can also support adding a new comment the first time and after that update the comment with the newer links, if any. Then, the user could choose the approach that like the most.
Both approaches have pros/cons that is worth considering.