Searching for a file in all Git branches

This is one way:

git log --all --name-only --pretty=format: | sort -u | grep _robot.php