Recipes have moved to infra.git
Any recipes remaining in this directory will eventually be moved to “infra”.