Re: [PATCH] gitweb: export-ok option

Jakub Narebski [off-list ref] writes:

Matthias Lederhofer wrote:

quoted

Perhaps there should be another option which allows only those
repositories to be shown which are in $projects_list.

If $projects_list is a file (and not directory), only repositories
specified there are shown.

If you can _guess_ project's name, you can go directly to
git_summary with it, and the page (or links that the page leads
to) does not check $projects_list at all, no?

I think Matthias's patch addresses that issue.