ci: bind pull request product reuse to the merge it compiled - #14080

ci: bind pull request product reuse to the merge it compiled#14080

teamleaderleo merged 2 commits into

mainmanaflow-ai/cmux:mainfrom

ci/product-reuse-pr-merge-identitymanaflow-ai/cmux:ci/product-reuse-pr-merge-identityCopy head branch name to clipboard