For those wanting to add a few more to their fleets, we have a very small number of micro:bit v1s still in stock currently (specifically v1.5, tech specs are here). These are also available as a Go Kit with batteries, a battery cage, and microUSB cable - please contact us on our sales email if you need the Go Kit version.
The BBC micro:bit v2 is also in stock; available with the above accessories, and packs of 10.
The v1 version is starting to get a bit scarce, so this is likely the last chance to get some!