2011-10-20: todo (later): Add a list of branches, heads and tags to the summary

todo (later): Add a list of branches, heads and tags to the summary page.

diff --git a/static.py b/static.py
--- a/static.py
+++ b/static.py
@@ -22,6 +22,8 @@ without the interactivity).
     → manifest ⇒ filelog ⇒ revision before the current.
     src/<hex>/index.html: manifest with file-links. ✔
   - Upload it to ftp ✔
+
+  - Add a list of branches, heads and tags to the summary page.
   - if b is used: a bugtracker: issue/<id>/<name>
   - fork-/clone-info for each entry in [paths] with its incoming data (if it has some):
     clone/<pathname>/ → incoming log (commits) + possibly an associated issue in b.