summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-06-18 23:11:37 +0200
committertv <tv@shackspace.de>2015-06-18 23:11:37 +0200
commitd3b0b62151155837fd265440ed949ea5ac269083 (patch)
treece409b6fcb36a31b045092b90bed26c8fb4e9298
parent89468e61cc5630df869a54bdee73ab0c4d114f2f (diff)
host cd: allow tv to push all shitment refs
-rw-r--r--modules/cd/default.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/cd/default.nix b/modules/cd/default.nix
index 2eed80e1..1fd2d4bb 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 ];