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

clan-merge #31

Merged
clan-bot merged 5 commits from clan-merge into main 2023-07-26 12:34:49 +00:00
Conversation 0 Commits 5 Files Changed 12 +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
Showing only changes of commit 7aa949d1df - Show all commits

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

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