diff options
author | tv <tv@shackspace.de> | 2015-06-18 23:11:37 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-06-18 23:11:37 +0200 |
commit | d3b0b62151155837fd265440ed949ea5ac269083 (patch) | |
tree | ce409b6fcb36a31b045092b90bed26c8fb4e9298 /modules/cd | |
parent | 89468e61cc5630df869a54bdee73ab0c4d114f2f (diff) |
host cd: allow tv to push all shitment refs
Diffstat (limited to 'modules/cd')
-rw-r--r-- | modules/cd/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/cd/default.nix b/modules/cd/default.nix index 2eed80e12..1fd2d4bb8 100644 --- a/modules/cd/default.nix +++ b/modules/cd/default.nix @@ -87,7 +87,7 @@ rules = with git; with users; with repos; [ { user = tv; repo = [ testing shitment ]; - perm = push master [ non-fast-forward create delete merge ]; + perm = push "refs/*" [ non-fast-forward create delete merge ]; } { user = [ lass makefu ]; repo = [ testing shitment ]; |