Changes by create-pull-request action#10

64J0 wants to merge 1 commit intomasterFsharpGHActions/git-tag-to-workflow-dispatch:masterfrom

git-tag-to-workflow-dispatch-1718925814FsharpGHActions/git-tag-to-workflow-dispatch:git-tag-to-workflow-dispatch-1718925814Copy head branch name to clipboard