Close stale PRs with GitHub actions#7999

iluuu1994 wants to merge 1 commit intophp:masterphp/php-src:masterfrom

iluuu1994:close-stale-prsiluuu1994/php-src:close-stale-prsCopy head branch name to clipboard