[Fedora Infrastructure] #3907: planet fedora not updating