Sign in

Search issue titles and bodies, change requests and comments. Private repositories you cannot read are not included.

vole
Clone

Read only, no credentials:

https://rodent.software/git/vole.git

Write over SSH with a registered key:

git clone ssh://git@0.0.0.0:2222/vole.git

A free and open-source forge that lives in your Git repo.

Add the instance-wide activity feed to the home page

b355db72f14756ee4d7e2f503eb254ea552aa72e · Keenan Nemetz · 15d ago · parent 67a308ba

Add the instance-wide activity feed to the home page

The home page now merges every visible repository's derived feed, caps the merged result at 50 events, and names the repository on each row. The repository list moves to a compact sidebar with its own search, and the existing search-results view is unchanged. Events still come from git, the metadata branch, tags, and the queue; private repositories are excluded by the same read filter as the list.

server/web/static/vole.css +16

@@ -1730,3 +1730,19 @@ textarea:focus-visible {
1730 1730 .blame td.blame-meta .sha { font-size: 11px; }
1731 1731 .blame td.ln { width: 6ch; text-align: right; color: var(--fg-faint); font-family: var(--mono); font-size: 11px; }
1732 1732 .blame td.code { font-family: var(--mono); font-size: 12px; white-space: pre; }
1733
1734 /* Home: the instance feed is the main column and the repository list is a
1735 compact index beside it. On narrow screens the list comes first. */
1736 .home { display: grid; grid-template-columns: minmax(0, 1fr) 20rem; gap: 24px; align-items: start; }
1737 .home-side { position: sticky; top: 60px; }
1738 .home-side h2 { margin-top: 0; }
1739 .side-search { margin: 0 0 8px; }
1740 .side-search input[type="search"] { width: 100%; max-width: none; }
1741 .repo-side .side-row { display: block; padding: 7px 0; border-bottom: 1px solid var(--border); }
1742 .repo-side .side-row:last-child { border-bottom: 0; }
1743 .repo-side .row-title { display: block; }
1744 .repo-side .muted { display: block; font-size: 11.5px; margin-top: 1px; }
1745 @media (max-width: 900px) {
1746 .home { grid-template-columns: 1fr; }
1747 .home-side { position: static; order: -1; }
1748 }