Many of the projects which Red Hat contributes to did not originate on GitHub, but are simply mirrored. In this case, it would be useful to know which projects are mirrors so that the community can be aware that GitHub is not the origin of the project.
In my opinion, having some official way to designate this would be ideal.