github-bots: add a function to search for a filename in a repo #1170

Job	Run time
docs (authorize-private-service)	17s
docs (bucket-events)	18s
docs (cloudevent-broker)	18s
docs (cloudevent-trigger)	17s
docs (cloudevent-recorder)	17s
docs (regional-go-service)	19s
docs (regional-service)	17s
docs (serverless-gclb)	19s
docs (networking)	16s
docs (dashboard/service)	18s
docs (dashboard/job)	17s
docs (dashboard/cloudevent-receiver)	16s
docs (prober)	17s
docs (cron)	18s
docs (configmap)	17s
docs (secret)	15s
docs (github-bots)	16s
docs (github-wif-provider)	17s
docs (github-gsa)	17s
docs (github-events)	18s
docs (workqueue)	16s
conclusion	9s
	6m 9s

Provide feedback