This commit is contained in:
Carlos Polop 2025-02-12 16:46:23 +01:00
parent 9531286ed6
commit 839212bcae

View File

@ -37,6 +37,9 @@ jobs:
- name: Update searchindex.js in repo - name: Update searchindex.js in repo
run: | 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 config --global --add safe.directory /__w/hacktricks/hacktricks
git pull git pull
cp book/searchindex.js searchindex.js cp book/searchindex.js searchindex.js