I’m not up-to-date on how Fedora GNOME packaging works, but for comparison, Debian & Ubuntu install the equivalent of %{_libdir}/mutter-%{mutter_api_version}/*.gir to the mutter devel package. So yes, it looks like you’re right. You can open a Fedora bug for your suggestion.