fix remove duplicate description on summary page

The description was rendered both in the page header (via layout) and as a paragraph in the summary content, causing a double heading.

Commit
280d59edaa3d42f611dc563a2a60b9427ac56d1a
Author
Marius Peter <dev@marius-peter.com>
Author date
Committer
Marius Peter <dev@marius-peter.com>
Committer date
lib/views/repo.ml
index b6df55bf..f2de1a85 100644..100644
@@ -485,14 +485,9 @@
485 485 ])
486 486
487 487 let summary context commits =
488 Removed: let description_section =
489 Removed: if context.description = "" then HTML.null []
490 Removed: else HTML.(p [] [ txt "%s" context.description ])
491 Removed: in
492 488 render_page context ~active:Summary
493 489 HTML.
494 490 [
495 Removed: description_section;
496 491 h3 [] [ txt "Latest commits" ];
497 492 ul [] (List.map (li_of_commit context.repo) commits);
498 493 p