2023-07-19 - production
12:22	<jbond>	switch puppertboard.wikimedia.oreg to use puppet7 infrastructre	[production]