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 /krebs/4lib/git.nix | |
parent | 91d6bd66f4d50d47692f55c16bfb14bdf4837520 (diff) |
lib: import bulk of krebs/4lib
Diffstat (limited to 'krebs/4lib/git.nix')
-rw-r--r-- | krebs/4lib/git.nix | 47 |
1 files changed, 0 insertions, 47 deletions
diff --git a/krebs/4lib/git.nix b/krebs/4lib/git.nix deleted file mode 100644 index 005c017a9..000000000 --- a/krebs/4lib/git.nix +++ /dev/null @@ -1,47 +0,0 @@ -{ 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 |