Merge pull request 'Pr' (#39) from pr into main

2023-07-28 08:50:46 +00:00 · 2023-07-28 08:50:46 +00:00 · 26ea5c64bc
commit 26ea5c64bc
parent 56f9105c9a e264759e1f
1 changed files with 1 additions and 1 deletions
--- a/modules/web01/clan-merge.nix
+++ b/modules/web01/clan-merge.nix
@ -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