update_github.sh: Improves search and output.