remix.ethereum.org update

This is not strictly speaking a release. Updating the remix site is done through the Travis build:

switch to the remix_live
git reset --hard
git push -f origin remix_live Travis will build automaticaly and update remix.ethereum.org

remix-alpha.ethereum.org update

remix-alpha.ethereum.org is automaticaly updated every time commits are pushed to master

git fetch origin master
git checkout origin/master
git checkout -b bumpVersion
update package.json version and version in terminal.js
create a PR and wait for test
merge PR
git fetch origin master
git checkout origin/master
git tag v(version-number)
git push --tags
github-changes -o ethereum -r remix-ide -a --only-pulls --use-commit-body --only-merges --between-tags previous_version...next_version
publish a release in github using the changelog
rm -rf node_modules
npm install
remove all soljson.js files in root folder
npm run build
npm publish