|
|
|
|
|
by iknownthing
480 days ago
|
|
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? |
|
Honestly, some of these workflow points are areas that we're probably going to adjust and add more configuration around. For example, some folks with very high commit velocity are asking for a "daily digest" docs PR from Promptless instead of individual docs PRs.