duplicate of already present PR#115

magnussp wants to merge 3 commits into

cpina:maincpina/github-action-push-to-another-repository:mainfrom

detecht:maindetecht/github-action-push-to-another-repository:mainCopy head branch name to clipboard