I'm trying to find the syntax for merging a tagged commit onto another branch. I guess it's straightforward but my feeble search attempts aren't finding it.
You mean this?
git checkout destination_branch git merge tag_name