From e85b2e05d5c50a6974e9d9486cc5b890607cc843 Mon Sep 17 00:00:00 2001
From: Petr Menšík <pemensik@redhat.com>
Date: Jun 29 2023 18:37:36 +0000
Subject: Add copr address to domains mapped


copr.fedorainfracloud.org contains also gssapi login method, but that
domain is not mapped to Fedora realm explicitly. Fix that.

Signed-off-by: Petr Menšík <pemensik@redhat.com>

---

diff --git a/krb-configs/fedoraproject_org b/krb-configs/fedoraproject_org
index d449804..308ade9 100644
--- a/krb-configs/fedoraproject_org
+++ b/krb-configs/fedoraproject_org
@@ -7,6 +7,8 @@
 [domain_realm]
  .fedoraproject.org = FEDORAPROJECT.ORG
  fedoraproject.org = FEDORAPROJECT.ORG
+ .fedorainfracloud.org = FEDORAPROJECT.ORG
+ fedorainfracloud.org = FEDORAPROJECT.ORG
  .centos.org = FEDORAPROJECT.ORG
  centos.org = FEDORAPROJECT.ORG