summaryrefslogtreecommitdiffstats
path: root/tv/2configs/repo-sync/wiki.nix
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2023-09-11 18:24:28 +0200
committertv <tv@krebsco.de>2023-09-13 18:07:11 +0200
commit0c4f3acb281be6290c55a6e96bc29fab5b5c7a11 (patch)
treedadaec00477a095273475ac345b2066b4748c399 /tv/2configs/repo-sync/wiki.nix
parentab1d0479e90f11806d4703ec6fffed3d5f782914 (diff)
stockholm -> hrm
Diffstat (limited to 'tv/2configs/repo-sync/wiki.nix')
-rw-r--r--tv/2configs/repo-sync/wiki.nix40
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};
-}