[Rdo-list] What is a correct RDO repository to setup AIO Havana on F20 ? (2)