From: Jakub Narebski <redacted>
Date: Tue, 31 Jan 2012 00:20:55 +0000 (+0100)
Subject: gitweb: Make project search respect project_filter
X-Git-Url: https://git.ladys.computer/Gitweb/commitdiff_plain/2a1e06153b9e9bbf459721e4efcd9b4d4b84d33df4e0aff2b098a4927ba9e650?hp=2a1e06153b9e9bbf459721e4efcd9b4d4b84d33df4e0aff2b098a4927ba9e650

gitweb: Make project search respect project_filter

Make gitweb search within filtered projects (i.e. projects shown), and
change "List all projects" to "List all projects in '$project_filter/'"
if project_filter is used.

Signed-off-by: Jakub Narebski <redacted>
Signed-off-by: Junio C Hamano <redacted>
---