mirror of
https://github.com/docker/docs.git
synced 2026-03-27 22:38:54 +07:00
Actually we don't need to create a separate PR per each update and we can just modify the previous one if it wasn't merged yet. Change the workflow to use a fixed branch name and update existing PRs when newer CLI versions are available, rather than creating multiple PRs. The workflow now uses a consistent branch name "bot/sync-cli-docs" instead of timestamp-based names. When an existing PR from this branch is found, it force-pushes the new changes and updates the PR title and body with the latest CLI version information. Signed-off-by: Paweł Gronowski <pawel.gronowski@docker.com>
4.0 KiB
4.0 KiB