Click here to learn more about Commands.dev from a blog post written by one of our engineers!
Push a tag to a remote git repository
Pushes a single tag to a remote server
git push origin
Edit in GitHub