minor github workflow improvements#4

DominikGuzei wants to merge 1 commit intomainCodeAdventure/finito:mainfrom

chore/test-pr-merge-publish-actionCodeAdventure/finito:chore/test-pr-merge-publish-actionCopy head branch name to clipboard