[arch-mirrors] Decommissioning mirror.grig.io

[hello]

Hi,

I will be retiring this server at the end of the month.  Please remove
it from the mirror list.

Thanks!