@wks, a few random questions if you let:
- Was the decision to migrate to https://gitlab.anu.edu.au/ the right choice?
- Did it affect adoption of the project? (Is there sustained adoption of the project and by which audiences?)
- Is your job at Huawei anyhow related to Mu MicroVM?
Thanks and sorry if the questions sound too "journalistic" ;-).