Jehan
commented:
We sync once per hour.
Wow ok. That's a lot. If it's good for GNOME admins (@averi?), it's good for us. Anyway when nothing changed (which is most of the time), I guess it's not heavy for the server.
So closing as FIXED unless @averi has any objection and wants to reopen! 👍