diff options
author | tv <tv@krebsco.de> | 2023-09-11 18:24:28 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2023-09-13 18:07:11 +0200 |
commit | 0c4f3acb281be6290c55a6e96bc29fab5b5c7a11 (patch) | |
tree | dadaec00477a095273475ac345b2066b4748c399 /tv/2configs/repo-sync/wiki.nix | |
parent | ab1d0479e90f11806d4703ec6fffed3d5f782914 (diff) |
stockholm -> hrm
Diffstat (limited to 'tv/2configs/repo-sync/wiki.nix')
-rw-r--r-- | tv/2configs/repo-sync/wiki.nix | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/tv/2configs/repo-sync/wiki.nix b/tv/2configs/repo-sync/wiki.nix deleted file mode 100644 index 515e731..0000000 --- a/tv/2configs/repo-sync/wiki.nix +++ /dev/null @@ -1,40 +0,0 @@ -with import ./lib; -{ config, pkgs, ... }: { - krebs.repo-sync.enable = true; - krebs.repo-sync.repos.wiki.branches.hotdog = { - origin.url = "http://cgit.hotdog.r/wiki"; - mirror.url = "git@${config.krebs.build.host.name}.r:wiki"; - }; - krebs.git.repos.wiki = { - public = true; - name = "wiki"; - cgit.desc = toString [ - "mirror of" - config.krebs.repo-sync.repos.wiki.branches.hotdog.origin.url - ]; - cgit.section = "7. mirrors"; - hooks.post-receive = /* sh */ '' - ${pkgs.git-hooks.irc-announce { - channel = "#xxx"; - nick = config.krebs.build.host.name; - server = "irc.r"; - }} - ${pkgs.cgit-clear-cache.override { - inherit (config.krebs.git.cgit.settings) cache-root; - }}/bin/cgit-clear-cache - ''; - }; - krebs.git.rules = lib.singleton { - user = lib.singleton config.krebs.users.repo-sync; - repo = lib.singleton config.krebs.git.repos.wiki; - perm = lib.git.push "refs/*" [ - lib.git.create - lib.git.delete - lib.git.merge - lib.git.non-fast-forward - ]; - }; - krebs.users.${config.krebs.repo-sync.user.name}.pubkey = { - ni = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINK9U0Ob9/O0kxg3trhZY/vDnbqfN+R5cASGiClRr4IM"; - }.${config.krebs.build.host.name}; -} |