diff options
Diffstat (limited to 'tv/4lib/git.nix')
-rw-r--r-- | tv/4lib/git.nix | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/tv/4lib/git.nix b/tv/4lib/git.nix deleted file mode 100644 index d50ba2018..000000000 --- a/tv/4lib/git.nix +++ /dev/null @@ -1,42 +0,0 @@ -{ lib, ... }: - -let - inherit (lib) addNames escapeShellArg makeSearchPath optionalString; - - 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 |