github: Improved search for GitHub Issues is now generally available

GitHub says improved search for Issues is now generally available. It was previously in public preview and later added to the Issues dashboard.

• Source: GitHub