use_github_release() could pull tags from github

[hughjonesd]

use_github_release() creates a tag on github but doesn't pull the tag to the local machine.

It might be nice to either pull the tag automatically, or add a bullet point to remind the user they can do that:

ui_todo("Pull the new tag from github with `git pull --tags`")