[Bug 41751] Retire docs.git