61e84bbc5f
Problem: if a digest PR is not merged before the next weekly run, a second PR is created for the same items plus any new ones, leading to duplicate open PRs. Solution: before fetching upstream activity, close any open PRs labeled upstream/digest (deleting their branches). The new run re-fetches all items since the last merged baseline and produces a single up-to-date PR. |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| scripts | ||
| workflows | ||
| pre-commit | ||
| pre-push | ||