git 2.50 на явно названный в pathspec игнорируемый путь (':!web/dist')
печатает «paths are ignored» и возвращает 1 — sync-web останавливался
после проверок, до коммита и PR (issue arm-core #115 создана, PR не было).
web/dist и так игнорируется .gitignore arm-core; исключение симлинка
node_modules оставлено (.gitignore его не ловит).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Merge pull request 'docs: точка — разделитель тысяч в суммах OCR, §11 п. 7 (AURORA-1405, scan-gateway#37)' (#109) from feat/37-dot-thousands into main
Description
No description provided
Languages
Shell
51.2%
Python
47.2%
Makefile
1.6%