isdir() should use fetch_rev_num() instead of HEAD
-rw-r--r-- 3009 blame.php
-rw-r--r-- 3486 browse.php
drwxr-xr-x - dev
-rw-r--r-- 3992 diff.php
-rw-r--r-- 2563 global.php
drwxr-xr-x - includes
-rw-r--r-- 1908 index.php
-rw-r--r-- 2862 log.php
-rw-r--r-- 1826 repository.php
drwxr-xr-x - templates
-rw-r--r-- 2917 view.php