When php-src repo is forked, all GitHub issues management scripts like "Close stale PRs" must not run in any fork by default.