Adding WiFi to the micro:bit is fairly easy using the low-cost ESP8266 ESP-01, which connects via the serial port and makes use of AT style commands to control the device as if it was a WiFi modem.
In addition to an ESP8266, you also need a power supply capable of running it.
You can use AT commands to set the device into client mode and connect to a WiFi network.
While it is possible to use ad-hoc protocols, there are advantages in using TCP, HTTP and HTML so that other devices can work with the micro:bit.
The micro:bit can use client mode to download data from web servers.
It can also emulate a server to deliver data to any web browser or HTML-using client.
JetBrains has released a public beta of TeamCity Pipelines, a cloud-based Continuous Integration/Continuous Deployment (CI/CD) service for small and medium-sized engineering teams.
Thanks to CheerpJ and WebAssembly you can now run a Java IDE inside your browser and local first.This is SnapCode, and while lightweight and in-browser, is to be not underestimated.