Install TagBot as a GitHub Action#14

JuliaTagBot wants to merge 1 commit into

MikeInnes:masterMikeInnes/diff-zoo:masterfrom

JuliaTagBot:masterJuliaTagBot/diff-zoo:masterCopy head branch name to clipboard