[CentOS-devel] 2022-07-13 - CentOS Public Board Meeting