ci: register git user

cartesi · Jan 29, 2024 · 52fad2c · 52fad2c
1 parent dc6e7c3
commit 52fad2c
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -18,6 +18,13 @@ jobs:
 
     steps:
       - uses: actions/checkout@v4
+        with:
+          token: ${{ secrets.BOT_TOKEN }}
+
+      - name: Register Git user
+        run: |
+          git config user.name rollups-contracts-bot
+          git config user.email [email protected]
 
       - uses: actions/setup-node@v4
         with: