@ -8,7 +8,7 @@ This document includes:
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 <master-commit-hash>
- git reset --hard -master-commit-hash-
- git push -f origin remix_live
Travis will build automaticaly and update remix.ethereum.org