Anyone had success/failures with changing IdP IP addresses?

[Cantor, Scott]

FWIW, depending on the attributes involved, the usual way to deal with the
Red Hat bug is to configure the new IdP servers to push attributes, and
then contact the SPs out of band to get them to restart the shibds to
flush the DNS caches, and then remove the push setting if desired.

Giant hassle, but I guess you can send the bill to Red Hat...

-- Scott