[php-src] PR #24613: [skip ci] Add policy for duplicate PRs

From: Date: Fri, 23 Oct 2026 17:47:12 +0000
Subject: [php-src] PR #24613: [skip ci] Add policy for duplicate PRs
Groups: php.git-pulls 
Request: Send a blank email to git-pulls+get-39776@lists.php.net to get a copy of this message
Pull Request: https://github.com/php/php-src/pull/24613 Author: LamentXU123 I hope this can stop agents from racing PRs <(＿　＿)>

« previous php.git-pulls (#39776) next »