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 | 844d347ce7cf0b7646e9ecba3fbdc0b90e608501 (patch) | |
tree | 32827cb69265c117abee1654ae6cf581a9a5c87c /lib/git.nix | |
parent | 91d6bd66f4d50d47692f55c16bfb14bdf4837520 (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 000000000..005c017a9 --- /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 |