stockholm/tv/2configs/gitrepos.nix

141 lines
3.3 KiB
Nix
Raw Normal View History

2015-07-11 14:55:22 +00:00
{ config, lib, pkgs, ... }:
2015-07-24 18:48:00 +00:00
2016-10-20 18:54:38 +00:00
with import <stockholm/lib>;
2017-01-05 20:03:23 +00:00
let {
2015-07-11 14:55:22 +00:00
2017-01-05 20:03:23 +00:00
body = {
2015-07-24 09:44:49 +00:00
krebs.git = {
2015-07-23 22:24:12 +00:00
enable = true;
cgit = {
settings = {
root-title = "repositories at ${config.krebs.build.host.name}";
root-desc = "mostly krebs";
};
};
2016-02-03 12:36:54 +00:00
repos = repos;
2015-08-24 09:22:05 +00:00
rules = rules;
2015-07-23 22:24:12 +00:00
};
2015-07-11 14:55:22 +00:00
};
2015-08-24 09:22:05 +00:00
repos =
2015-07-24 17:33:20 +00:00
public-repos //
2015-08-24 09:22:05 +00:00
optionalAttrs config.krebs.build.host.secure restricted-repos;
2015-07-24 17:33:20 +00:00
2015-07-23 22:24:12 +00:00
rules = concatMap make-rules (attrValues repos);
2015-07-11 14:55:22 +00:00
public-repos = mapAttrs make-public-repo ({
} // mapAttrs (_: recursiveUpdate { cgit.section = "1. miscellaneous"; }) {
2016-02-03 18:39:00 +00:00
cac-api = {
cgit.desc = "CloudAtCost API command line interface";
2015-08-05 22:11:26 +00:00
};
2016-11-24 21:40:55 +00:00
dic = {
cgit.desc = "dict.leo.org command line interface";
};
2015-09-25 20:56:28 +00:00
get = {};
2017-05-09 17:17:08 +00:00
hstool = {
cgit.desc = "Haskell Development Environment ^_^";
};
2017-04-18 17:58:49 +00:00
htgen = {
cgit.desc = "toy HTTP server";
};
2017-05-02 20:11:50 +00:00
kirk = {
cgit.desc = "IRC tools";
2017-04-11 21:15:35 +00:00
};
2018-05-03 16:41:08 +00:00
krops = {
2018-02-28 21:38:42 +00:00
cgit.desc = "deployment tools";
};
2015-07-23 22:24:12 +00:00
load-env = {};
2016-11-04 22:40:43 +00:00
loldns = {
cgit.desc = "toy DNS server";
};
2015-07-23 22:24:12 +00:00
make-snapshot = {};
much = {};
2016-10-23 16:15:20 +00:00
netcup = {
cgit.desc = "netcup command line interface";
};
populate = {
cgit.desc = "source code installer";
};
2017-04-18 17:58:53 +00:00
q = {};
2015-07-23 22:24:12 +00:00
regfish = {};
2015-12-20 11:47:10 +00:00
soundcloud = {
cgit.desc = "SoundCloud command line interface";
2015-12-20 11:47:10 +00:00
};
2015-07-23 22:24:12 +00:00
stockholm = {
cgit.desc = "NixOS configuration";
2015-07-23 22:24:12 +00:00
};
2016-11-24 21:40:55 +00:00
} // mapAttrs (_: recursiveUpdate { cgit.section = "2. Host configurations"; }) {
ni = {
};
} // mapAttrs (_: recursiveUpdate { cgit.section = "3. Haskell libraries"; }) {
blessings = {};
mime = {};
quipper = {};
scanner = {};
2015-07-23 22:24:12 +00:00
wai-middleware-time = {};
web-routes-wai-custom = {};
xintmap = {};
2015-11-09 17:01:30 +00:00
xmonad-stockholm = {};
2016-11-24 21:40:55 +00:00
} // mapAttrs (_: recursiveUpdate { cgit.section = "4. museum"; }) {
cgserver = {};
crude-mail-setup = {};
dot-xmonad = {};
2017-04-18 17:58:37 +00:00
hirc = {};
2016-11-24 21:40:55 +00:00
make-snapshot = {};
nixos-infest = {};
painload = {};
2016-11-24 21:40:55 +00:00
push = {};
with-tmpdir = {};
});
2015-07-11 14:55:22 +00:00
2015-07-24 17:33:20 +00:00
restricted-repos = mapAttrs make-restricted-repo (
{
brain = {
2015-07-24 18:48:00 +00:00
collaborators = with config.krebs.users; [ lass makefu ];
hooks.post-receive = irc-announce {
cgit_endpoint = null;
};
2015-07-24 17:33:20 +00:00
};
} //
2015-09-26 22:22:50 +00:00
# TODO don't put secrets/repos.nix into the store
import <secrets/repos.nix> { inherit config lib pkgs; }
2015-07-24 17:33:20 +00:00
);
irc-announce = args: pkgs.git-hooks.irc-announce (recursiveUpdate {
2017-10-01 12:31:00 +00:00
channel = "#xxx";
2017-06-19 20:46:26 +00:00
# TODO make nick = config.krebs.build.host.name the default
nick = config.krebs.build.host.name;
server = "irc.r";
2017-06-19 20:46:26 +00:00
verbose = true;
} args);
2017-06-19 20:46:26 +00:00
make-public-repo = name: { cgit ? {}, ... }: {
inherit cgit name;
2015-07-23 22:24:12 +00:00
public = true;
2016-11-10 22:15:33 +00:00
hooks = optionalAttrs (config.krebs.build.host.name == "ni") {
post-receive = irc-announce {};
2015-07-11 14:55:22 +00:00
};
2015-07-23 22:24:12 +00:00
};
2015-07-11 14:55:22 +00:00
2017-06-19 20:46:26 +00:00
make-restricted-repo = name: { collaborators ? [], hooks ? {}, ... }: {
inherit collaborators hooks name;
2015-07-24 17:33:20 +00:00
public = false;
};
2015-07-23 22:24:12 +00:00
make-rules =
2015-07-24 18:48:00 +00:00
with git // config.krebs.users;
2015-07-23 22:24:12 +00:00
repo:
singleton {
2016-02-07 04:17:07 +00:00
user = [ tv tv-xu ];
2015-07-23 22:24:12 +00:00
repo = [ repo ];
perm = push "refs/*" [ non-fast-forward create delete merge ];
} ++
2016-02-03 12:36:54 +00:00
optional (repo.collaborators or [] != []) {
2015-07-24 17:33:20 +00:00
user = repo.collaborators;
repo = [ repo ];
perm = fetch;
2015-07-23 22:24:12 +00:00
};
2015-07-11 14:55:22 +00:00
2017-01-05 20:03:23 +00:00
}