Ability to group repositories by means of reg exp about gitblit HOT 5 CLOSED

I was thinking of supporting repository tags and defining some sort of "group by tag"
and "view tag" pages.  This is not exactly what you are asking for but I don't know
if I would support RegExp grouping.  I hadn't considered that.

If you really want to group by name, why don't you switch web.repositoryListType from
"grouped" to "flat".

You can also double-check repository size calculation time by temporarily disabling
web.showRepositorySizes to see how the calculation impacts page load performance. 
Maybe I'll add some logging info to indicate the time required for calculation so that
users can make an educated decision on if it hurts performance or not.

The next release will have a per-repository setting to skip size calculation, will indicate
the time spent calculating size, and will cache/reuse the last size if the repository
is not modified in the interim.

I'm going to implement a url parameter to _filter_ (but not group) the repositories
list.  It will not be a real regex as that introduces all sorts of encoding issues.

The repository list will support simple fuzzy matching, listing by federation set,
and perhaps one or two other filters, TBD.

v0.8.0 released.

I did not implement navigation as you had suggested.  For the time-being I consider
this to be a closed issue.  Try the new release and tell me what you think.

Looks good to me. The fact that once set a filter is "sticky" and applies not only to
"repositories" but also to "activity" perfectly matches my needs.

Plus, it can be used in bookmarks!

Thanks.