When using the Search bar on the list of commits, it would be nice if we had the following visible information:
- The total number of hits.
- The "position" of the selected commit compared to the total number of results ("X/Y").
- If there are no result found, turn the search bar red to make it clearer.
Mockup


When using the Search bar on the list of commits, it would be nice if we had the following visible information:
Mockup