Search Results for "open issue"

GitHub search with Manticore Search. The Manticore GitHub Issue Search tool allows users to search through GitHub issues using Manticore Search, a powerful full-text search engine designed for large datasets and real-time processing. It integrates Manticore's capabilities with GitHub to offer fast and efficient searches within repositories.

Many times, developers (or even, normal users) run into an issue of searching for a resource that is inside a zip. Worse, that resource is inside a zip which is itself inside ANOTHER zip (i.e. nested archive). Possibly you need to verify whether a particular resource is present in an ear or you want to know part of a file name but don't know which zip/jar on your hard disk contains that class file. zfind solves this problem. zfind is very fast and it works on most common...