Prefer gitea to gogs

Gitea's announcement notes explain some of the benefits of Gitea over
Gogs:

https://blog.gitea.io/2016/12/welcome-to-gitea/

Also, I never configured Gogs such that I could use it, so the cost of
switching from Gogs to Gitea was basically zero.

1 files changed, 1 insertions, 8 deletions

diff --git a/nixos/socrates/configuration.nix b/nixos/socrates/configuration.nix
index a78da84d92..d2b46972c4 100644
--- a/nixos/socrates/configuration.nix
+++ b/nixos/socrates/configuration.nix
@@ -81,14 +81,7 @@ in {
 
   services.openssh.enable = true;
 
-  systemd.services.gogs = {
-    enable = true;
-    description = "Easy-to-use Git server written in golang";
-    script = "${pkgs.gogs}/bin/gogs web";
-    serviceConfig = {
-      Type = "simple";
-    };
-  };
+  services.gitea.enable = true;
 
   systemd.services.monzo-token-server = {
     enable = true;