Comment
Comment by iknownthing
I'm curious, does it get triggered when a PR is opened or when it is merged? Because if it is when it is opened, updates to the PR could still get made which I assume would cause updates to the doc changes. Also, what if 2 PRs are opened at the same time? What if a PR is opened but never merged?