- Update the version number in the editor.html file.
- Update the CHANGES.rst file with English description of changes made.
- If required, update the firmware.hex file to the correct version of the "vanilla" MicroPython runtime used in this release.
- Create a tagged release using GitHub.
- Inform those who maintain the versioning manifest. Currently this is @jaustin at the micro:bit foundation.