James Robinson

I looked at Kubernetes when I first started the rewrite. You really need to buy into it from the beginning and structure the whole project around it. Sticking with Azure,...

@JimMadge : Which linting settings highlight this as a problem? I couldn't reproduce it.

Yeah - I tried enabling all of them and I couldn't get these to flag up again.

I've actually been wondering whether we *need* a pre-built image at all. Definitely if we use a pre-built image it should be `bureau` but is a VM with just Python,...

Another possibility is to use a Docker container as the source. I was sceptical but @manics says that this works for him.

Mounting an Azure container into a VM is relatively easy (doesn't need credentials to mount as NFSv3). Connecting to a container to pull a file will be more complicated (likely...

I was thinking about this earlier today and I think it might also work to pull from a non-mounted container that is locked down from public access but available anonymously...

I think you just deleted the files that these workflows change!

For the moment yes (because the Pulumi code currently builds images on-the-fly without using a gallery). We could either: - restore `/deployment/secure_research_desktop` for the moment - prioritise integrating `bureau` into...

We currently retry on particular previously-encountered failures (where Azure doesn't correctly indicate that resource A can't be deleted until resource B has been). A better failure error message would certainly...