How to release a new version

Here are the steps to follow to release a new Pop version:

• If you don't already have one, generate a new Github token, with repo rights: https://github.com/settings/tokens
• Make sure docker is installed and working.
• Merge the new version (usually development) into master.
• Checkout on master.
• Edit soda/cmd/version.go, change the value of Version to the new version.
• Commit.
• Run:

$ GITHUB_TOKEN=myGitHubToken grift release

• Check everything goes right.
• Reset the development branch to master state, and change the version back to development.