As previously reported, since we put back the original IP 200.17.202.1 for ubuntu.c3sl.ufpr.br push sync for br.{archive,releases}.ubuntu.com is not happening any more. Please check. The machine/ip/etc are the same as before the release. Only the ssh fingerprint changed.