diff options
author | tv <tv@krebsco.de> | 2016-10-20 20:21:59 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-10-20 20:21:59 +0200 |
commit | c8718ceb9f6d5fa4d01bf04fdfa7e775980b143c (patch) | |
tree | 3bc11da90e5c413480610524d8de5d5bb28536e9 /lib/git.nix | |
parent | 0f45156aae3fa69b9a75ea03862f15fe4aff10cb (diff) |
lib: import bulk of krebs/4lib
Diffstat (limited to 'lib/git.nix')
-rw-r--r-- | lib/git.nix | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/lib/git.nix b/lib/git.nix new file mode 100644 index 0000000..005c017 --- /dev/null +++ b/lib/git.nix @@ -0,0 +1,47 @@ +{ lib, ... }: + +with lib; + +let + addName = name: set: + set // { inherit name; }; + + addNames = mapAttrs addName; + + commands = addNames { + git-receive-pack = {}; + git-upload-pack = {}; + }; + + receive-modes = addNames { + fast-forward = {}; + non-fast-forward = {}; + create = {}; + delete = {}; + merge = {}; # TODO implement in git.nix + }; + + permissions = { + fetch = { + allow-commands = [ + commands.git-upload-pack + ]; + }; + + push = ref: extra-modes: { + allow-commands = [ + commands.git-receive-pack + commands.git-upload-pack + ]; + allow-receive-ref = ref; + allow-receive-modes = [ receive-modes.fast-forward ] ++ extra-modes; + }; + }; + + refs = { + master = "refs/heads/master"; + all-heads = "refs/heads/*"; + }; + +in +commands // receive-modes // permissions // refs |