Hi,

Le 23/04/2018 à 10:13, Ross Boulet a écrit :

First, have I done all the reporting needed to get this issue to the proper place?

Yes.

Second, is the “archweb” in the git at [2] the same thing as the website, and if so, why didn’t it show any updates?

Yes. I see plenty of updates (at https://git.archlinux.org/archweb.git/log/), including 31 commits on 2018-04-08. Or are you wondering about tags?

Regards,
Bruno