For publicly-available Gitiles sites, it would be cool to have a Google search
box on every page, e.g. posting to:
https://www.google.com/search?q=XYZ&sitesearch=https://android.googlesource.com/
tools/repo/+/master/subcmds/
The URL should be configurable, including no URL to mean no search box, for
sites that administrators know aren't indexed by Google (e.g. on an intranet).
It seems unlikely that we would implement full-text search within Gitiles, but
this is a quick hack that would get some of the way there.
Original issue reported on code.google.com by dborowitz@google.com on 12 Nov 2012 at 12:12
Original issue reported on code.google.com by
dborowitz@google.com
on 12 Nov 2012 at 12:12