[PATCHv7 00/11] gitweb: remote_heads feature

This 7th version of the remote heads feature for gitweb differs from the previous mostly my small tune-ups, renames of internal functions, some patch reordering and a final addition.

The first patch is a bugfix that is only exposed by some subsequent code. It's independent from the rest of the patchset, and can just go in.

The next 4 patches are rather straightforward too, and they introduce the remote heads feature in a rather primitive way. They are ready for inclusion.

Patch 6 and 7 introduce the 'single remote' view with an improved page header visualization.

Patches 8 and 9 provide the infrastructure for the grouped remote heads view introduced by the next patch.

Finally, an 11th patch was added to the series to enable remote heads view from git instaweb.

Giuseppe Bilotta (11):
  gitweb: use fullname as hash_base in heads link
  gitweb: introduce remote_heads feature
  gitweb: git_get_heads_list accepts an optional list of refs
  gitweb: separate heads and remotes lists
  gitweb: nagivation menu for tags, heads and remotes
  gitweb: allow action specialization in page header
  gitweb: remotes view for a single remote
  gitweb: refactor repository URL printing
  gitweb: provide a routine to display (sub)sections
  gitweb: group remote heads by remote
  git instaweb: enable remote_heads

 git-instaweb.sh          |    2 +
 gitweb/gitweb.perl       |  275 ++++++++++++++++++++++++++++++++++++++++++++--
 gitweb/static/gitweb.css |    6 +
 3 files changed, 275 insertions(+), 8 deletions(-)