minor github workflow improvements#4

DominikGuzei wants to merge 1 commit into

mainCodeAdventure/finito:mainfrom

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