Migrate turing git mirror to git.pydis.wtf

Author: jchristgit

guix/machines/turing.scm

@@ -147,7 +147,7 @@
                           (certificates
                            (list
                             (certificate-configuration
-                              (domains '("beta.git.pydis.wtf"))
+                              (domains '("git.pydis.wtf"))
                               (deploy-hook %certbot-deploy-hook))
                             (certificate-configuration
                              (domains '("turing.box.pydis.wtf"))

guix/services/git-mirror.scm

@@ -91,13 +91,13 @@
                                                                         (listen '
                                                                          ("443 ssl http2"))
                                                                         (server-name '
-                                                                         ("beta.git.pydis.wtf"))
+                                                                         ("git.pydis.wtf"))
                                                                         (ssl-certificate
                                                                          (letsencrypt-cert
-                                                                          "beta.git.pydis.wtf"))
+                                                                          "git.pydis.wtf"))
                                                                         (ssl-certificate-key
                                                                          (letsencrypt-key
-                                                                          "beta.git.pydis.wtf"))
+                                                                          "git.pydis.wtf"))
                                                                         ;; This should probably be better documented upstream.
                                                                         (locations
                                                                          (list