hi,I wonder if there's official centos 7 repo.if there's no such a repo, what do you think about fedora copr ? I can maintain such a repo