From f9546b52582d8d8dda1b2aaba4d8ae1b72cabb69 Mon Sep 17 00:00:00 2001
From: Kevin Fenzi <kevin@scrye.com>
Date: Tue, 30 Jul 2019 19:32:53 +0000
Subject: [PATCH] robosign: out with f31-boost,, in with f31-ghc

Signed-off-by: Kevin Fenzi <kevin@scrye.com>
---
 roles/robosignatory/files/robosignatory.production.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/roles/robosignatory/files/robosignatory.production.py b/roles/robosignatory/files/robosignatory.production.py
index 0296ec837b..22724e3608 100644
--- a/roles/robosignatory/files/robosignatory.production.py
+++ b/roles/robosignatory/files/robosignatory.production.py
@@ -56,8 +56,8 @@ config = {
                     "keyid": "3c3359c4"
                 },
                 {
-                    "from": "f31-boost",
-                    "to": "f31-boost",
+                    "from": "f31-ghc",
+                    "to": "f31-ghc",
                     "key": "fedora-31",
                     "keyid": "3c3359c4"
                 },