1 (** The repository list, and the project directory pages that share its shape. 2 3 A project directory is the same page scoped to a subtree, so both are 4 described here. *) 5 6 val render : 7 Layout.site -> 8 dates:(string * (int64 * Git.User.tz_offset option) option) list -> 9 ?prefix:string -> 10 ?favorites:Resolvers.fs_node list -> 11 ?archived:Resolvers.fs_node list -> 12 ?readme:Resolvers.Blob.t -> 13 Resolvers.fs_node list -> 14 Dream.response Dream.promise 15 (** Render the repository list page. 16 17 @param dates 18 associates repository paths with their most recent commit timestamp. 19 @param prefix the subdirectory path, empty for the site root. 20 @param favorites repositories pinned to the top in a collapsible section. 21 @param archived repositories shown in a collapsed section at the bottom. 22 @param readme optional root-level README to display alongside the list. *) 23