Re: [OS-BUILD PATCH 0/2] redhat/configs: rename ark config directory to rhel