When it is time to deploy a new version of StarExec, a new tag is created and published so that specific version can be referenced in the future if need be.
Step-by-step guide
git checkout fb1 # Ensure we are on the correct branch git pull origin fb1 # Ensure we have all the latest commits from GitHub git tag -a "mar-21-2018" # Tag this version with the current date # Enter a brief description of what is being added in this release git push origin "mar-21-2018" # Push this tag to GitHub
Related articles