mirror of
https://github.com/docker/docs.git
synced 2026-03-27 14:28:47 +07:00
Avoid repeatedly opening new PRs for the same CLI version when a previous one was intentionally closed. Signed-off-by: Paweł Gronowski <pawel.gronowski@docker.com>