Create a Git tag and push it to GitHub as a release.
Usage
gh_create_tag(version, message)
Arguments
- version
The version to set the tag (more specifically, the name of the
tag). Must be in the form of "##.##", like "1.0". A first number is for
submissions, and the second number is for fixes after the submission.
- message
The message to include when making the tag.
Value
Returns nothing, used for side effect of creating a tag on GitHub.