-
Notifications
You must be signed in to change notification settings - Fork 5
Open
Labels
enhancementNew feature or requestNew feature or request
Description
At the moment, there are multiple repositories each with their own GitHub Actions workflow to push a PR to the docs when they mint a new release. This is proving to be a little problematic due to:
- Maintainance burden - multiple repos, unclear responsibilities, differences in available GitHub secrets
- In practice, GitHub release notes are often edited post-release, and the automation misses that
Instead, we should have a single GHA workflow that's in the seqeralabs/docs repo that runs nightly and checks relevant repos for new releases, and creates PRs if any are found. Essentially a "pull" mechanism instead of "push". This should solve the above problems.
Originally suggested by @gavinelder, hat-tip to him
😅
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request