This version of GitHub Enterprise will be discontinued on 2022-10-12. No patch releases will be made, even for critical security issues. For better performance, improved security, and new features, upgrade to the latest version of GitHub Enterprise. For help with the upgrade, contact GitHub Enterprise support.
You can use a wide range of syntax to search GitHub Enterprise Server. You can adjust the scope of your search, build and troubleshoot queries, and sort search results with qualifiers.