GitHub has announced the general availability of a ground-up rework of its code search that has been in development for years. The changes include substantial new functionality that is significantly ...