feat: convenience workflow for update major release tag#28

oliver-butterley wants to merge 2 commits intoleanprover:mainleanprover/lean-action:mainfrom

oliver-butterley:tag-utilityoliver-butterley/lean-action:tag-utilityCopy head branch name to clipboard