This repository was archived by the owner on Apr 3, 2026. It is now read-only.

docs: add banner to point to new docs domain #1615

Job	Run time
build (3.8)	10m 20s
	10m 20s

Provide feedback