From 8c65ef81b9d21403579deacaca99e810be856b7f Mon Sep 17 00:00:00 2001
From: dgibbs64 <dgibbs64@users.noreply.github.com>
Date: Fri, 17 Feb 2023 00:00:31 +0000
Subject: [PATCH] GitHub Actions build: 2023-02-17

---
 arch.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch.txt b/arch.txt
index ce4ec2b..42e02dc 100644
--- a/arch.txt
+++ b/arch.txt
@@ -178,6 +178,7 @@ mirror.dal10.us.leaseweb.net
 mirror.datacenter.by
 mirror.dc.uz
 mirror.digitalnova.at
+mirror.ditatompel.com
 mirror.dkm.cz
 mirror.easyname.at
 mirror.efect.ro
@@ -204,6 +205,7 @@ mirror.hostup.org
 mirror.i3d.net
 mirror.ibcp.fr
 mirror.ihost.md
+mirror.infernocomms.net
 mirror.informatik.tu-freiberg.de
 mirror.init7.net
 mirror.internode.on.net
@@ -396,7 +398,6 @@ plug-mirror.rcac.purdue.edu
 quantum-mirror.hu
 repo.endpoint.ml
 repo.ialab.dsu.edu
-repo.inara.pk
 repo.iut.ac.ir
 repo.miserver.it.umich.edu
 repo.skni.umcs.pl