Push tag to GitHub after deployment

[outoftime]

It’s a good practice to tag each deployment, and keep those tags synced to GitHub. This should happen automatically as part of the deployment process.