2 Commits

Author	SHA1	Message	Date
Marc de Lima Lucio	96eddc1729	NEW: dev tools: add github webhook handler to auto-assign pull requests (#34579) ... * NEW: dev tools: add github webhook handle to auto-assign pull requests * FIX: ci * FIX: comment * FIX: ci * FIX: forgotten param + ci * FIX: ci * FIX: ci	2025-06-20 15:45:31 +02:00
Laurent Destailleur	309b308adc	Debug php-cs-fixer	2023-12-03 20:45:02 +01:00