[OS-BUILD PATCH] RHMAINTAINERS: Update for Oct 2 2023