fix hide author in commit list items when filtering by author

When the commits page is filtered by author, the author name on each list item is redundant — every displayed commit is by that person. The author span is now omitted in that case.

Commit
8e9bbe2f56a4d446324a30073fcb87b69e40dd62
Author
Claude Sonnet 4 <claude@anthropic.invalid>
Author date
Committer
Marius Peter <dev@marius-peter.com>
Committer date
lib/views/repo.ml
index 9c53fccb..c5196d8f 100644..100644
@@ -422,13 +422,16 @@
422 422 [ txt "%s" (Time_fmt.relative_time commit.author.date) ])
423 423 in
424 424 let author_span =
425 Removed: HTML.(
426 Removed: span
427 Removed: [ class_ "commit-author" ]
428 Removed: [
429 Removed: identity_link ?filter_type ?author ?committer ~role:`Author repo
430 Removed: commit.author;
431 Removed: ])
425 Added: match author with
426 Added: | Some _ -> HTML.null []
427 Added: | None ->
428 Added: HTML.(
429 Added: span
430 Added: [ class_ "commit-author" ]
431 Added: [
432 Added: identity_link ?filter_type ?author ?committer ~role:`Author repo
433 Added: commit.author;
434 Added: ])
432 435 in
433 436 HTML.(
434 437 li []