Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

l git: add collaborators to public repos

Browse Source
This commit is contained in:
lassulus 2018-04-28 23:27:25 +02:00
parent 74b52f1c3e
commit 7240963fb9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lass/2configs/git.nix
View File

@ -70,8 +70,8 @@ let
import <secrets/repos.nix> { inherit config lib pkgs; }
);
make-public-repo = name: { cgit ? {}, ... }: {
inherit cgit name;
make-public-repo = name: { cgit ? {}, collaborators ? [], ... }: {
inherit cgit collaborators name;
public = true;
hooks = {
post-receive = pkgs.git-hooks.irc-announce {