clan/clan-infra
10
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Pr #39

Merged
clan-bot merged 1 commits from pr into main 2023-07-28 08:50:46 +00:00
Conversation 0 Commits 1 Files Changed 1 +1 -1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
modules/web01/clan-merge.nix
View File

@ -16,7 +16,7 @@
script = ''
while sleep 10; do
${self.packages.${pkgs.system}.clan-merge}/bin/clan-merge \
--allowed-users DavHau lassulus mic92 \
--allowed-users DavHau lassulus Mic92 \
--repos clan-infra clan-core clan-homepage \
--bot-name clan-bot
done