This workflow provides critical instructions for autonomous agents when running commands, configuring paths, and managing Git operations in this repository.
sudo password requests).docker exec -d, npm install -y, apt-get install -y)..env file instead of prompting.GH007 if the user's local git commits expose a private/protected email address.git push to a GitHub mirror, check if the developer's git configuration matches their GitHub account's public email settings.GH007, instruct the user to temporarily disable "Block command line pushes that expose my email" under their GitHub profile settings page: https://github.com/settings/emails.C:\... vs /mnt/c/...). Rendering and layout engines (like MuPDF/PyMuPDF or Docker mounts) fail when using backslashes (\) or relative paths.os.path.abspath()..replace('\\', '/').@font-face styles or Docker compose scripts) to guarantee compatibility across Windows, WSL, and Linux containers.local_tools/git-ident-filter.py) is missing from the working directory during checkout.Action:
If git checkout fails with filter errors, restore the filter script first from the HEAD commit:
git checkout HEAD -- local_tools/git-ident-filter.py
Once the script is restored, re-run the clean checkout:
git checkout -f
add_mirror_repos.bat with a GITHUB_TOKEN) must never be committed.scratch/ directory.scratch/* rule inside .gitignore will automatically prevent these scripts from being tracked or pushed.