WIP: hosts: nixos: porthos: migrate to new host

OVH/Kimsufi are deprecating my current server by the end of the year. So
let's migrate to a new host.

This was more painful than initially planned, OVH introduced a change to
their rescue system which messes with the NixOS installation [1].

In the end I used a kexec image [2] to run the installation.

[1]: https://github.com/NixOS/nix/issues/7790
[2]: https://github.com/nix-community/nixos-images

hosts/nixos/porthos/hardware.nix

@@ -1,5 +1,5 @@
 # Hardware configuration
-{ modulesPath, ... }:
+{ lib, modulesPath, ... }:
 
 {
   imports = [

modules/nixos/services/woodpecker/default.nix

@@ -8,12 +8,6 @@
 
   options.my.services.woodpecker = with lib; {
     enable = mkEnableOption "Woodpecker CI";
-    forge = mkOption {
-      type = types.enum [ "gitea" "forgejo" ];
-      default = "forgejo";
-      example = "gitea";
-      description = "Which Forge to connect to";
-    };
     runners = mkOption {
       type = with types; listOf (enum [ "exec" "docker" ]);
       default = [ ];

modules/nixos/services/woodpecker/server/default.nix

@@ -17,7 +17,7 @@ in
         WOODPECKER_GRPC_ADDR = ":${toString cfg.rpcPort}";
 
         WOODPECKER_GITEA = "true";
-        WOODPECKER_GITEA_URL = config.services.${cfg.forge}.settings.server.ROOT_URL;
+        WOODPECKER_GITEA_URL = config.services.gitea.settings.server.ROOT_URL;
 
         WOODPECKER_LOG_LEVEL = "debug";
       };