please allocate more disk space for the Linux VM
In order to accommodate a separate alpha build tree and buildbot functionality, we need a lot more disk space allocated to the Linux build VM (dixie). Currently the building is done in /srv/build-trees, which I think has a somewhat idiosyncratic setup (like, it may be mounted space, rather than space actually on the VM?) I don't know the details but in order to maintain consistency more space should be added there rather than having the size of the whole VM expanded. If I'm right, anyway.
I would like at least another 100gb.