| HN Mirror

We're currently using Azure Pipelines, but trying to move down to Github Actions as we don't really need the whole Azure ecosystem quite yet.

As for the hardware part, well, let's just say I can never, ever, ever have a zoom meeting where anyone can see my desk.