mirror of
https://github.com/php/doc-ru.git
synced 2026-03-23 23:32:16 +01:00
Daily workflow (6h UTC) that checks the last 7 days of merged PRs in php/doc-en and creates issues in doc-ru listing the RU files that need updating. Stateless deduplication via issue search.