diff options
author | tv <tv@krebsco.de> | 2016-10-20 20:54:38 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-10-20 20:54:38 +0200 |
commit | f47bab7f710b7c8a282c3a3c38affc8a0bc30cc9 (patch) | |
tree | a7f59f4511ced29de7bdb4334d84b2f9cd137838 /krebs/3modules/git.nix | |
parent | 4a6fbbbe503e32096a30a07c3ee51d3524057b8e (diff) |
drop config.krebs.lib
Diffstat (limited to 'krebs/3modules/git.nix')
-rw-r--r-- | krebs/3modules/git.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/krebs/3modules/git.nix b/krebs/3modules/git.nix index 6a03b4638..e6b98a923 100644 --- a/krebs/3modules/git.nix +++ b/krebs/3modules/git.nix @@ -6,7 +6,7 @@ # TODO when authorized_keys changes, then restart ssh # (or kill already connected users somehow) -with config.krebs.lib; +with import <stockholm/lib>; let cfg = config.krebs.git; @@ -97,7 +97,7 @@ let singleton { user = [ config.krebs.users.tv ]; repo = [ testing ]; # see literal example of repos - perm = push "refs/*" (with config.krebs.lib.git; [ + perm = push "refs/*" (with git; [ non-fast-forward create delete merge ]); } |