misc

hacl-star · Aug 16, 2024 · b1f61b6 · b1f61b6
1 parent ce23acf
commit b1f61b6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/nixflakeupdate.yml b/.github/workflows/nixflakeupdate.yml
@@ -15,8 +15,8 @@ jobs:
         run: |
           nix flake update
           [[ $(git diff flake.lock) != "" ]] || exit 0
-          git config --local user.name "Hacl Bot"
-          git config --local user.email "hacl-star@mailo.com"
+          git config --local user.name "HACL*"
+          git config --local user.email "hacl-star@protonmail.com"
           git add flake.lock
           git commit -m "[CI] update flake.lock"
           nix build .#hacl