diff --git a/.github/workflows/build_master.yml b/.github/workflows/build_master.yml
index 0031536e7..b49b5b796 100644
--- a/.github/workflows/build_master.yml
+++ b/.github/workflows/build_master.yml
@@ -37,6 +37,9 @@ jobs:
       
       - name: Update searchindex.js in repo
         run: |
+          git config --global user.email "build@example.com"
+          git config --global user.name "Build master"
+          git config pull.rebase false
           git config --global --add safe.directory /__w/hacktricks/hacktricks
           git pull
           cp book/searchindex.js searchindex.js