diff options
Diffstat (limited to 'lib/views.ml')
| -rw-r--r-- | lib/views.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/views.ml b/lib/views.ml index 74e8e7a..0fe9b86 100644 --- a/lib/views.ml +++ b/lib/views.ml @@ -76,9 +76,13 @@ end let root () = let all_repositories = + (* Ignore hidden directories. *) let repos = Sys.readdir config.git_project_root - |> Array.to_list |> List.sort String.compare + |> Array.to_list + |> List.filter (fun name -> + not (name.[0] = '.')) + |> List.sort String.compare in let li_of_repo repo = HTML.li [] [ Routes.link_to (Routes.Repo repo) (txt "%s" repo) ] |