1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

Merge branch 'PHP-8.2' into PHP-8.3

This commit is contained in:
Jakub Zelenka
2024-11-18 16:48:50 +01:00

View File

@@ -7,6 +7,7 @@ permissions:
jobs:
triage:
if: github.repository == 'php/php-src'
permissions:
pull-requests: write
runs-on: ubuntu-latest