github: Improved search for GitHub Issues in public preview

GitHub has launched an improved search for GitHub Issues, now in public preview. The new search leverages a semantic index to help you find the exact issue you’re looking for more easily.

• Source: GitHub