collin/anvil

18e442f7a5fdffb13c441320e35224938e3116d2 / crates / anvil-web / src / ui.rs

1	//! Server-rendered web UI (Maud): repo list, repo overview, tree browsing, and
2	//! blob viewing. Pages are plain SSR and work without JavaScript; htmx-based
3	//! progressive enhancement is a follow-up.
4
5	use std::{
6	collections::{
7	BTreeMap,
8	HashMap,
9	},
10	path::PathBuf,
11	sync::{
12	Arc,
13	Mutex,
14	OnceLock,
15	},
16	};
17
18	use anvil_core::{
19	ApiToken,
20	App,
21	CiRun,
22	Repository,
23	SshKey,
24	User,
25	access,
26	api_tokens,
27	ci,
28	repos,
29	ssh_keys,
30	users,
31	};
32	use anvil_git::browse::{
33	self,
34	ChangeKind,
35	FileChange,
36	};
37	use axum::{
38	Form,
39	Router,
40	extract::{
41	Path,
42	Query,
43	State,
44	},
45	http::{
46	StatusCode,
47	header,
48	},
49	response::{
50	IntoResponse,
51	Redirect,
52	Response,
53	},
54	routing::{
55	get,
56	post,
57	},
58	};
59	use maud::{
60	DOCTYPE,
61	Markup,
62	PreEscaped,
63	html,
64	};
65	use similar::{
66	ChangeTag,
67	TextDiff,
68	};
69	use syntect::{
70	easy::HighlightLines,
71	highlighting::{
72	Theme,
73	ThemeSet,
74	},
75	html::{
76	IncludeBackground,
77	styled_line_to_highlighted_html,
78	},
79	parsing::SyntaxSet,
80	};
81	use time::OffsetDateTime;
82
83	use crate::{
84	auth::{
85	CSRF_FIELD,
86	Csrf,
87	CurrentUser,
88	verify_csrf,
89	},
90	todomd,
91	};
92
93	const STYLE: &str = r#"
94	:root { color-scheme:light; --fg:#1f2328; --muted:#656d76; --bg:#fff; --border:#d0d7de; --accent:#0969da; --code-bg:#f6f8fa; --success:#1a7f37; --success-bg:#dafbe1; --error:#cf222e; --error-bg:#ffebe9; --warning:#7d4e00; --warning-bg:#fff8c5; --info:#8250df; --info-bg:#fbefff; --dir-icon:#54aeff; --diff-ins-bg:#e6ffec; --diff-del-bg:#ffebe9; }
95	@media (prefers-color-scheme: dark) {
96	:root { color-scheme:dark; --fg:#e6edf3; --muted:#8b949e; --bg:#0d1117; --border:#30363d; --accent:#58a6ff; --code-bg:#161b22; --success:#3fb950; --success-bg:#1a3a1a; --error:#f85149; --error-bg:#3d1f1a; --warning:#d29922; --warning-bg:#3a2a1a; --info:#a371f7; --info-bg:#2a1e4e; --dir-icon:#79c0ff; --diff-ins-bg:#0d2818; --diff-del-bg:#2d1519; }
97	}
98	* { box-sizing:border-box; }
99	body { margin:0; font:14px/1.5 -apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif; color:var(--fg); background:var(--bg); }
100	a { color:var(--accent); text-decoration:none; } a:hover { text-decoration:underline; }
101	header.top { border-bottom:1px solid var(--border); padding:12px 0; background:var(--code-bg); }
102	.container { max-width:980px; margin:0 auto; padding:0 16px; }
103	header.top .container { display:flex; align-items:center; gap:12px; }
104	.brand { font-weight:700; font-size:16px; color:var(--fg); }
105	main { padding:12px 0 24px; }
106	h1,h2 { font-weight:600; } h1 { font-size:20px; } h2 { font-size:15px; margin:20px 0 8px; }
107	.muted { color:var(--muted); }
108	.error-msg { color:var(--error); }
109	.repo-list { list-style:none; padding:0; margin:0; }
110	.repo-list li { padding:12px 0; border-bottom:1px solid var(--border); }
111	.repo-list .name { font-size:16px; font-weight:600; }
112	.box { border:1px solid var(--border); border-radius:6px; overflow:hidden; }
113	.box .row { display:flex; gap:12px; justify-content:space-between; padding:8px 16px; border-top:1px solid var(--border); }
114	.box .row:first-child { border-top:0; }
115	.box .row a.entry { display:flex; gap:8px; align-items:center; white-space:nowrap; }
116	.box .row a.fc-msg { flex:1; margin-left:24px; overflow:hidden; text-overflow:ellipsis; white-space:nowrap; text-align:left; color:var(--muted); font-size:13px; }
117	.box .row a.fc-msg:hover { color:var(--accent); }
118	.box .row .fc-time { margin-left:16px; white-space:nowrap; color:var(--muted); font-size:13px; }
119	.icon { width:1em; height:1em; flex:none; fill:currentColor; color:var(--muted); vertical-align:-0.125em; }
120	.icon.dir { color:var(--dir-icon); }
121	.file-actions .btn .icon { color:inherit; }
122	table.code { border-collapse:collapse; width:100%; font:12px/1.45 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace; }
123	table.code td { padding:0 10px; vertical-align:top; white-space:pre; }
124	table.code td.ln { text-align:right; color:var(--muted); user-select:none; width:1%; border-right:1px solid var(--border); background:var(--code-bg); }
125	.cmds { background:var(--code-bg); border:1px solid var(--border); border-radius:6px; padding:12px 14px; margin:8px 0; font:12px/1.7 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace; overflow-x:auto; }
126	.clone { border:1px solid var(--border); border-radius:6px; padding:12px 16px; margin:16px 0; }
127	.clone-head { display:flex; align-items:center; gap:12px; margin-bottom:8px; }
128	.clone-tabs { display:flex; margin-left:auto; }
129	.clone-tab { font-size:12px; padding:2px 10px; border:1px solid var(--border); border-radius:0; margin-left:-1px; position:relative; background:var(--bg); color:var(--muted); cursor:pointer; }
130	.clone-tab:first-child { border-radius:2em 0 0 2em; margin-left:0; }
131	.clone-tab:last-child { border-radius:0 2em 2em 0; }
132	.clone-tab:first-child:last-child { border-radius:2em; }
133	.clone-tab.active { background:var(--accent); color:#fff; border-color:var(--accent); z-index:1; }
134	.clone-cmd { display:flex; align-items:center; gap:8px; background:var(--code-bg); border:1px solid var(--border); border-radius:6px; padding:6px 10px; }
135	.clone-cmd code { flex:1; font:12px ui-monospace,monospace; user-select:all; overflow-x:auto; white-space:nowrap; }
136	.copy-btn { display:inline-flex; align-items:center; background:none; border:0; color:var(--muted); cursor:pointer; padding:2px; }
137	.copy-btn:hover { color:var(--fg); }
138	.copied-msg { display:none; color:var(--success); font-size:12px; }
139	.clone.copied .copied-msg { display:inline; }
140	.clone.copied .copy-btn { color:var(--success); }
141	.crumbs { margin:12px 0; font:13px ui-monospace,monospace; }
142	.pill { display:inline-block; background:var(--code-bg); border:1px solid var(--border); border-radius:2em; padding:1px 8px; font-size:12px; color:var(--muted); }
143	.pill.active { background:var(--accent); border-color:var(--accent); color:#fff; }
144	.view-toggle { margin:8px 0; }
145	a.pill:hover { text-decoration:none; border-color:var(--accent); color:var(--accent); }
146	.md-body { padding:8px 24px 16px; line-height:1.6; overflow-wrap:break-word; }
147	.md-body h1, .md-body h2 { border-bottom:1px solid var(--border); padding-bottom:6px; }
148	.md-body pre { background:var(--code-bg); border-radius:6px; padding:12px 14px; overflow-x:auto; font:12px/1.45 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace; }
149	.md-body code { background:var(--code-bg); border-radius:4px; padding:1px 4px; font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace; font-size:0.9em; }
150	.md-body pre code { background:none; padding:0; font-size:inherit; }
151	.md-body blockquote { border-left:4px solid var(--border); margin:0 0 12px; padding:0 14px; color:var(--muted); }
152	.md-body table { border-collapse:collapse; margin:12px 0; } .md-body th, .md-body td { border:1px solid var(--border); padding:5px 10px; }
153	.md-body img { max-width:100%; }
154	.linkbtn { background:none; border:0; color:var(--accent); cursor:pointer; font:inherit; padding:0; }
155	.linkbtn:hover { text-decoration:underline; }
156	.btn { display:inline-block; background:var(--accent); color:#fff; border:1px solid var(--accent); border-radius:6px; padding:5px 12px; font-size:13px; cursor:pointer; }
157	.btn:hover { text-decoration:none; opacity:.92; }
158	/* Repo header: title (+ visibility badge) on the left, quick-nav on the right;
159	wraps cleanly to its own line on narrow viewports instead of floating. */
160	.repo-head { display:flex; flex-wrap:wrap; align-items:baseline; justify-content:space-between; gap:6px 16px; margin:24px 0 4px; }
161	.repo-title { display:flex; align-items:baseline; flex-wrap:wrap; gap:8px; min-width:0; }
162	.repo-title h1 { margin:0; }
163	.repo-title .pill { font-size:11px; text-transform:uppercase; letter-spacing:.04em; align-self:center; }
164	.repo-nav { font-size:13px; display:flex; align-items:baseline; gap:8px; color:var(--muted); }
165	.repo-nav a { color:var(--muted); }
166	.repo-nav a:hover { color:var(--accent); text-decoration:none; }
167	.repo-nav .sep { color:var(--border); }
168	.repo-meta { display:flex; gap:8px; margin:8px 0; color:var(--muted); font-size:13px; }
169	.repo-meta b { font-weight:600; color:var(--fg); }
170	.pill-group { display:inline-flex; }
171	.pill-group > .pill { border-radius:0; margin-left:-1px; position:relative; }
172	.pill-group > .pill:first-child { border-radius:2em 0 0 2em; margin-left:0; }
173	.pill-group > .pill:last-child { border-radius:0 2em 2em 0; }
174	.stack p { margin:10px 0; } .stack label { font-size:13px; color:var(--muted); }
175	/* Explicit colours, not just borders: a control left to the browser's defaults
176	renders white-on-white in dark mode. `color-scheme` above covers the rest. */
177	.stack input[type=text], .stack input[type=password], .stack textarea, .stack select { background:var(--bg); color:var(--fg); }
178	.stack input[type=text], .stack input[type=password], .stack textarea { width:100%; max-width:480px; padding:6px 8px; border:1px solid var(--border); border-radius:6px; font:inherit; }
179	.stack .check { display:flex; gap:8px; align-items:flex-start; max-width:480px; }
180	.stack select { padding:6px 8px; border:1px solid var(--border); border-radius:6px; font:inherit; }
181	.stack textarea.editor { max-width:none; font:13px/1.5 ui-monospace,monospace; tab-size:4; resize:vertical; }
182	p.file-actions { margin:10px 0; display:flex; gap:6px; align-items:center; }
183	.file-actions .btn { padding:3px 11px; font-size:12px; font-weight:500; border-radius:6px; display:inline-flex; align-items:center; gap:5px; }
184	table.usage { border-collapse:collapse; width:100%; max-width:680px; margin-top:12px; }
185	table.usage th, table.usage td { padding:6px 10px; border-bottom:1px solid var(--border); text-align:left; }
186	table.usage .num { text-align:right; font-variant-numeric:tabular-nums; white-space:nowrap; }
187	table.usage tfoot td { font-weight:600; border-top:2px solid var(--border); border-bottom:none; }
188	.issue-dot { width:10px; height:10px; border-radius:50%; flex:none; }
189	.issue-dot.open { background:var(--success); }
190	.issue-dot.closed { background:var(--info); }
191	.st.issue-open { background:var(--success-bg); color:var(--success); }
192	.st.issue-closed { background:var(--info-bg); color:var(--info); }
193	.issue-post { margin:12px 0; }
194	.issue-head { padding:8px 16px; border-bottom:1px solid var(--border); background:var(--code-bg); font-size:13px; color:var(--muted); }
195	.btn.btn-secondary { background:var(--bg); color:var(--fg); border-color:var(--border); }
196	.readme { margin-top:16px; }
197	.readme-head { padding:8px 16px; border-bottom:1px solid var(--border); background:var(--code-bg); font-size:13px; font-weight:600; }
198	/* Kanban: cards are the only boxes. Columns are headers + whitespace, no
199	nested frames. */
200	.kanban { display:flex; gap:20px; align-items:flex-start; overflow-x:auto; padding:4px 2px 8px; }
201	.kanban .col { flex:1 1 0; min-width:240px; }
202	.kanban .col h3 { margin:0 0 12px; padding:0 2px 8px; font-size:11px; font-weight:600; letter-spacing:.06em; text-transform:uppercase; color:var(--muted); display:flex; align-items:baseline; gap:8px; border-bottom:1px solid var(--border); }
203	.kanban .col h3 .count { font-weight:400; letter-spacing:0; text-transform:none; font-size:12px; margin-left:auto; }
204	.kanban .card { position:relative; background:var(--bg); border:1px solid var(--border); border-radius:6px; padding:9px 12px; margin-bottom:8px; font-size:13px; line-height:1.45; box-shadow:0 1px 2px rgba(27,31,36,.05); }
205	.kanban .card-del { position:absolute; top:3px; right:4px; margin:0; }
206	.kanban .card-del-btn { border:0; background:none; color:var(--muted); cursor:pointer; font-size:16px; line-height:1; padding:1px 5px; border-radius:4px; opacity:0; transition:opacity .1s,background .1s; }
207	.kanban .card:hover .card-del-btn, .card-del-btn:focus { opacity:1; }
208	.kanban .card-del-btn:hover { color:var(--error); background:var(--code-bg); }
209	.kanban .card .title { padding-right:14px; }
210	.kanban .card:has(.card-grip) { padding-left:28px; }
211	.kanban .card-grip { position:absolute; left:2px; top:5px; color:var(--muted); cursor:grab; touch-action:none; user-select:none; -webkit-user-select:none; -webkit-touch-callout:none; line-height:0; padding:4px 5px; border-radius:4px; }
212	/* The touch must land on the grip (touch-action:none), not the icon inside it,
213	or the browser claims the gesture for scrolling and never drags. */
214	.kanban .card-grip svg { pointer-events:none; }
215	.kanban .card-grip:hover { color:var(--fg); background:var(--code-bg); }
216	.kanban .card.dragging { opacity:.4; pointer-events:none; }
217	.kanban .card.dragging .card-grip { pointer-events:auto; cursor:grabbing; }
218	.kanban .card .title p { margin:0; font-weight:500; }
219	.kanban .card.done .title { color:var(--muted); text-decoration:line-through; font-weight:400; }
220	.kanban .card details { margin-top:7px; }
221	.kanban .card summary { cursor:pointer; font-size:11px; font-weight:500; letter-spacing:.03em; text-transform:uppercase; color:var(--muted); list-style:none; display:inline-flex; align-items:center; gap:5px; user-select:none; }
222	.kanban .card summary:hover { color:var(--accent); }
223	.kanban .card summary::-webkit-details-marker { display:none; }
224	.kanban .card summary::before { content:"\25B8"; font-size:9px; transition:transform .15s ease; }
225	.kanban .card details[open] summary { margin-bottom:5px; }
226	.kanban .card details[open] summary::before { transform:rotate(90deg); }
227	.kanban .card .card-details { font-size:13px; color:var(--fg); line-height:1.5; }
228	.kanban .card .card-details p { margin:0 0 6px; }
229	.kanban .card .card-details ul { margin:4px 0; padding-left:16px; }
230	.kanban .card .card-details img { max-width:100%; height:auto; border-radius:4px; margin:2px 0; }
231	.kanban .card .card-details > :last-child { margin-bottom:0; }
232	.kanban .card .title img { max-width:100%; height:auto; border-radius:4px; }
233	/* Repo secrets (docs/secrets.md): sealed values, plus the CI unlock banner. */
234	.secret-unlocked { background:var(--success-bg); color:var(--success); border-radius:6px; padding:8px 12px; font-size:13px; }
235	.secret-warn { background:var(--warning-bg); color:var(--warning); border-radius:6px; padding:8px 12px; font-size:13px; }
236	.secret-stale { margin-left:10px; font-size:12px; color:var(--warning); }
237	#secrets-form textarea { width:100%; font:12px ui-monospace,SFMono-Regular,Menlo,Consolas,monospace; }
238	.todo-board-head { font-size:13px; font-weight:600; margin:20px 0 10px; }
239	/* Repo home: the board leads the page, clipped to a fixed-height teaser that
240	expands in place. A checkbox drives it, not <details>, because a closed
241	<details> hides its content outright — there'd be no preview to clip.
242	`.fits` is set by script when the board is short enough to need neither. */
243	.todo-preview { margin:4px 0 16px; }
244	.todo-preview .todo-board-head { margin-top:0; }
245	.todo-expand { position:absolute; width:1px; height:1px; opacity:0; }
246	.todo-preview-body { position:relative; max-height:300px; overflow:hidden; }
247	.todo-preview-body::after { content:""; position:absolute; left:0; right:0; bottom:0; height:80px; background:linear-gradient(to bottom, transparent, var(--bg)); pointer-events:none; }
248	.todo-expand:checked ~ .todo-preview-body { max-height:none; }
249	.todo-expand:checked ~ .todo-preview-body::after { display:none; }
250	.todo-more { display:inline-block; cursor:pointer; font-size:12px; color:var(--muted); padding:2px 0 6px; user-select:none; }
251	.todo-more:hover { color:var(--accent); }
252	.todo-more::after { content:"Show more \25BE"; }
253	.todo-expand:checked ~ .todo-more::after { content:"Show less \25B4"; }
254	.todo-expand:focus-visible ~ .todo-more { outline:2px solid var(--accent); outline-offset:2px; border-radius:3px; }
255	.todo-preview.fits .todo-preview-body { max-height:none; }
256	.todo-preview.fits .todo-preview-body::after { display:none; }
257	.todo-preview.fits .todo-more { display:none; }
258	.todo-notes { margin:8px 2px; }
259	.todo-notes > summary { cursor:pointer; font-size:13px; color:var(--muted); }
260	.latest-commit { display:flex; gap:10px; align-items:baseline; background:var(--code-bg); border:1px solid var(--border); border-radius:6px 6px 0 0; border-bottom:0; padding:8px 16px; }
261	.latest-commit + .box { border-radius:0 0 6px 6px; }
262	.commit-list { list-style:none; padding:0; margin:0; }
263	.commit-list li { padding:8px 0; border-top:1px solid var(--border); display:flex; gap:12px; align-items:baseline; }
264	.commit-list li:first-child { border-top:0; }
265	.sha { font:12px ui-monospace,monospace; color:var(--muted); }
266	.file-diff { margin:16px 0; }
267	.file-diff summary.head { background:var(--code-bg); border:1px solid var(--border); border-radius:6px; padding:6px 12px; font:12px ui-monospace,monospace; cursor:pointer; display:flex; align-items:center; gap:8px; list-style:none; }
268	.file-diff summary.head::-webkit-details-marker { display:none; }
269	.file-diff summary.head::before { content:"\25B8"; color:var(--muted); }
270	.file-diff[open] summary.head::before { content:"\25BE"; }
271	.file-diff[open] summary.head { border-bottom:0; border-radius:6px 6px 0 0; }
272	.file-diff .stat { margin-left:auto; white-space:nowrap; }
273	.stat .plus { color:var(--success); } .stat .minus { color:var(--error); }
274	table.diff { border:1px solid var(--border); border-radius:0 0 6px 6px; }
275	table.diff td.sign { width:1%; text-align:center; color:var(--muted); user-select:none; }
276	table.diff tr.ins { background:var(--diff-ins-bg); } table.diff tr.ins td.sign { color:var(--success); }
277	table.diff tr.del { background:var(--diff-del-bg); } table.diff tr.del td.sign { color:var(--error); }
278	table.diff tr.gap td { background:var(--code-bg); color:var(--muted); text-align:center; padding:3px 10px; user-select:none; font-size:11px; }
279	.badge { font-size:11px; border-radius:3px; padding:1px 6px; }
280	.badge.add { background:var(--success-bg); color:var(--success); } .badge.del { background:var(--error-bg); color:var(--error); } .badge.mod { background:var(--warning-bg); color:var(--warning); }
281	.st { font-size:11px; border-radius:2em; padding:1px 9px; font-weight:600; text-transform:capitalize; }
282	.st.queued { background:var(--code-bg); color:var(--muted); } .st.running { background:var(--warning-bg); color:var(--warning); }
283	.st.success { background:var(--success-bg); color:var(--success); } .st.failure, .st.error { background:var(--error-bg); color:var(--error); }
284	.log { background:var(--code-bg); color:var(--fg); border-radius:6px; padding:14px 16px; overflow-x:auto; font:12px/1.5 ui-monospace,SFMono-Regular,Menlo,Consolas,monospace; white-space:pre-wrap; word-break:break-word; margin:0; border:1px solid var(--border); }
285	@media (prefers-color-scheme: dark) {
286	.log { background:#0d1117; color:#e6edf3; border:0; }
287	}
288	footer { color:var(--muted); font-size:12px; padding:24px 0; border-top:1px solid var(--border); margin-top:32px; }
289	details.nav-menu { position:relative; }
290	details.nav-menu > summary { list-style:none; cursor:pointer; color:var(--accent); font-size:14px; }
291	details.nav-menu > summary::-webkit-details-marker { display:none; }
292	details.nav-menu > summary::after { content:""; display:inline-block; width:0; height:0; margin-left:6px; vertical-align:middle; border:4px solid transparent; border-top:5px solid var(--muted); border-bottom:0; transition:transform .15s ease; }
293	details.nav-menu > summary:hover::after { border-top-color:var(--accent); }
294	details.nav-menu[open] > summary::after { transform:rotate(180deg); }
295	.nav-dropdown { position:absolute; right:0; top:calc(100% + 6px); background:var(--bg); border:1px solid var(--border); border-radius:6px; min-width:130px; box-shadow:0 4px 14px rgba(0,0,0,.1); z-index:200; padding:4px 0; }
296	.nav-dropdown a, .nav-dropdown button { display:block; width:100%; padding:6px 14px; font-size:13px; color:var(--fg); text-align:left; background:none; border:0; cursor:pointer; font:inherit; text-decoration:none; }
297	.nav-dropdown a:hover, .nav-dropdown button:hover { background:var(--code-bg); color:var(--fg); }
298	.nav-dropdown.left { left:0; right:auto; max-height:320px; overflow-y:auto; }
299	.nav-dropdown .dd-head { padding:6px 14px 2px; font-size:11px; text-transform:uppercase; letter-spacing:.03em; color:var(--muted); }
300	.nav-dropdown a.current { font-weight:600; }
301	details.rev-menu { display:inline-block; }
302	details.rev-menu > summary .pill { cursor:pointer; }
303	@media (max-width:720px) {
304	.kanban { flex-direction:column; gap:14px; overflow-x:visible; }
305	.kanban .col { min-width:0; width:100%; }
306	}
307	"#;
308
309	/// Icon set as an SVG sprite (a hidden `<svg>` of `<symbol id="i-…">`s),
310	/// authored in `assets/icons.svg` and embedded at compile time. The layout
311	/// emits it once per page; [`icon`] references a symbol via `<use>`, so the
312	/// path data is never duplicated in the rendered HTML.
313	const ICON_SPRITE: &str = include_str!("../assets/icons.svg");
314
315	/// The icons defined in the sprite. Each maps to a `<symbol id="i-…">` in
316	/// `assets/icons.svg` — keep the two in sync.
317	#[derive(Clone, Copy)]
318	pub(crate) enum Icon {
319	Clipboard,
320	Pencil,
321	Plus,
322	Folder,
323	File,
324	Grip,
325	}
326
327	impl Icon {
328	/// The sprite symbol id (`<symbol id="…">`).
329	fn id(self) -> &'static str {
330	match self {
331	Icon::Clipboard => "i-clipboard",
332	Icon::Pencil => "i-pencil",
333	Icon::Plus => "i-plus",
334	Icon::Folder => "i-folder",
335	Icon::File => "i-file",
336	Icon::Grip => "i-grip",
337	}
338	}
339	}
340
341	/// Reference a sprite symbol as an inline `<svg>`, sized/colored by the `.icon`
342	/// CSS (1em, `currentColor`).
343	pub(crate) fn icon(i: Icon) -> Markup {
344	icon_with(i, "icon")
345	}
346
347	/// Like [`icon`] but with custom classes (e.g. `"icon dir"` to tint a folder).
348	fn icon_with(i: Icon, class: &str) -> Markup {
349	PreEscaped(format!(
350	r##"<svg class="{class}" aria-hidden="true"><use href="#{}"></use></svg>"##,
351	i.id()
352	))
353	}
354
355	/// Delegated handlers for the clone widget: protocol toggle + copy-to-clipboard.
356	/// Registered once on `document`, so it survives htmx body swaps.
357	/// Make htmx render error responses instead of discarding them.
358	///
359	/// Handlers answer a rejected form with the page and the reason — a bad
360	/// password, an unparseable ssh key — under a 4xx status. htmx's default
361	/// `responseHandling` swaps only 2xx, so with `hx-boost` on the body every one
362	/// of those pages was silently dropped and the button looked broken. Without
363	/// JavaScript the same responses always rendered fine, which is why this hid.
364	const HTMX_CONFIG_JS: &str = r#"
365	htmx.config.responseHandling = [
366	{ code: "204", swap: false },
367	{ code: "[23]..", swap: true },
368	{ code: "[45]..", swap: true, error: true },
369	];
370	"#;
371
372	const CLONE_JS: &str = r#"
373	(function(){
374	function copyText(t){
375	if (navigator.clipboard && navigator.clipboard.writeText) return navigator.clipboard.writeText(t);
376	var ta=document.createElement('textarea'); ta.value=t; ta.style.position='fixed'; ta.style.opacity='0';
377	document.body.appendChild(ta); ta.focus(); ta.select();
378	try{document.execCommand('copy')}catch(e){}
379	document.body.removeChild(ta); return Promise.resolve();
380	}
381	document.addEventListener('click', function(e){
382	var nm=e.target.closest('details.nav-menu');
383	document.querySelectorAll('details.nav-menu').forEach(function(d){ if(d!==nm) d.removeAttribute('open'); });
384	var tab=e.target.closest('.clone-tab');
385	if(tab){
386	var box=tab.closest('.clone'), cmd=box.dataset[tab.dataset.proto];
387	if(cmd){ box.querySelector('.clone-cmd code').textContent=cmd; }
388	box.querySelectorAll('.clone-tab').forEach(function(t){ t.classList.toggle('active', t===tab); });
389	return;
390	}
391	var copy=e.target.closest('.copy-btn');
392	if(copy){
393	var box=copy.closest('.clone');
394	copyText(box.querySelector('.clone-cmd code').textContent).then(function(){
395	box.classList.add('copied');
396	setTimeout(function(){ box.classList.remove('copied'); }, 1300);
397	});
398	}
399	});
400	})();
401	"#;
402
403	/// Mount the web UI routes.
404	pub fn routes(router: Router<App>) -> Router<App> {
405	router
406	.route("/", get(home))
407	.route("/-/settings", get(account_settings))
408	.route("/-/settings/keys", post(add_ssh_key))
409	.route("/-/settings/keys/{id}/delete", post(delete_ssh_key))
410	.route("/-/settings/tokens", post(create_token))
411	.route("/-/settings/tokens/{id}/delete", post(revoke_token))
412	.route("/-/new", get(new_repo_form).post(new_repo_submit))
413	.route("/{username}", get(user_profile))
414	.route(
415	"/{owner}/{repo}/settings",
416	get(repo_settings).post(repo_settings_submit),
417	)
418	.route("/{owner}/{repo}", get(repo_index))
419	.route("/{owner}/{repo}/tree/{rev}", get(tree_root))
420	.route("/{owner}/{repo}/tree/{rev}/{*path}", get(tree_path))
421	.route("/{owner}/{repo}/blob/{rev}/{*path}", get(blob))
422	.route(
423	"/{owner}/{repo}/edit/{rev}/{*path}",
424	get(edit_form).post(edit_submit),
425	)
426	.route(
427	"/{owner}/{repo}/add-task/{rev}/{*path}",
428	get(add_task_form).post(add_task_submit),
429	)
430	.route(
431	"/{owner}/{repo}/delete-task/{rev}/{*path}",
432	post(delete_task),
433	)
434	.route("/{owner}/{repo}/move-task/{rev}/{*path}", post(move_task))
435	.route("/{owner}/{repo}/commits/{rev}", get(commits))
436	.route("/{owner}/{repo}/commit/{id}", get(commit))
437	.route("/{owner}/{repo}/ci", get(ci_runs))
438	.route("/{owner}/{repo}/ci/{id}", get(ci_run))
439	.route("/-/static/htmx.min.js", get(htmx_js))
440	}
441
442	/// Serve the vendored htmx script (embedded in the binary).
443	async fn htmx_js() -> Response {
444	(
445	[(
446	header::CONTENT_TYPE,
447	"application/javascript; charset=utf-8",
448	)],
449	include_str!("../assets/htmx.min.js"),
450	)
451	.into_response()
452	}
453
454	pub(crate) fn layout(title: &str, user: Option<&User>, body: Markup) -> Markup {
455	// Attach the session's CSRF token to every htmx request as a header, so any
456	// JS-driven action carries it without a hidden field. Omitted (no attribute)
457	// when unauthenticated. The token is hex, so it needs no JSON escaping.
458	let csrf = crate::auth::current_csrf();
459	let hx_headers = (!csrf.is_empty()).then(\|\| format!(r#"{{"{CSRF_FIELD}": "{csrf}"}}"#));
460	html! {
461	(DOCTYPE)
462	html lang="en" {
463	head {
464	meta charset="utf-8";
465	meta name="viewport" content="width=device-width, initial-scale=1";
466	title { (title) " · anvil" }
467	style { (PreEscaped(STYLE)) }
468	}
469	body hx-boost="true" hx-headers=[hx_headers] {
470	(PreEscaped(ICON_SPRITE))
471	header.top { div.container {
472	a.brand href="/" { "anvil" }
473	span style="margin-left:auto" {
474	@match user {
475	Some(u) => {
476	details.nav-menu {
477	summary { (u.username) }
478	div.nav-dropdown {
479	a href="/-/settings" { "Settings" }
480	@if u.is_admin { a href="/-/admin/usage" { "Disk usage" } }
481	form method="post" action="/-/logout" {
482	button type="submit" { "Sign out" }
483	}
484	}
485	}
486	}
487	None => { a href="/-/login" { "sign in" } }
488	}
489	}
490	} }
491	main { div.container { (body) } }
492	footer { div.container { "anvil — a git forge" } }
493	script src="/-/static/htmx.min.js" {}
494	script { (PreEscaped(HTMX_CONFIG_JS)) }
495	script { (PreEscaped(CLONE_JS)) }
496	}
497	}
498	}
499	}
500
501	/// Hidden CSRF token field for embedding inside a mutating `<form>`.
502	pub(crate) fn csrf_input(token: &str) -> Markup {
503	html! { input type="hidden" name=(CSRF_FIELD) value=(token); }
504	}
505
506	pub(crate) fn not_found(message: &str) -> Response {
507	(
508	StatusCode::NOT_FOUND,
509	layout(
510	"Not found",
511	None,
512	html! { h1 { "Not found" } p.muted { (message) } },
513	),
514	)
515	.into_response()
516	}
517
518	pub(crate) fn server_error(err: impl std::fmt::Display) -> Response {
519	tracing::error!("ui error: {err}");
520	(
521	StatusCode::INTERNAL_SERVER_ERROR,
522	layout("Error", None, html! { h1 { "Something went wrong" } }),
523	)
524	.into_response()
525	}
526
527	/// Resolve `<owner>/<repo>` to its on-disk path and metadata row, enforcing read
528	/// access for `viewer`. Private repos 404 for non-owners (no existence leak).
529	pub(crate) async fn resolve_repo(
530	app: &App,
531	viewer: Option<&User>,
532	owner: &str,
533	name: &str,
534	) -> Result<(PathBuf, Repository), Response> {
535	let owner_user = users::find_by_username(&app.db, owner)
536	.await
537	.map_err(server_error)?
538	.ok_or_else(\|\| not_found("no such user"))?;
539	let repo = repos::find(&app.db, owner_user.id, name)
540	.await
541	.map_err(server_error)?
542	.ok_or_else(\|\| not_found("no such repository"))?;
543	if !access::can_read(&repo, viewer) {
544	return Err(not_found("no such repository"));
545	}
546	let path = anvil_core::storage::repo_path(&app.config.repositories_dir(), owner, name);
547	if !path.exists() {
548	return Err(not_found("repository not found on disk"));
549	}
550	Ok((path, repo))
551	}
552
553	/// `GET /` — list repositories visible to the current user.
554	async fn home(State(app): State<App>, CurrentUser(user): CurrentUser) -> Result<Markup, Response> {
555	let all = repos::list_all_with_owner(&app.db)
556	.await
557	.map_err(server_error)?;
558	let repos: Vec<_> = all
559	.into_iter()
560	.filter(\|r\| {
561	!r.is_private
562	\|\| user
563	.as_ref()
564	.is_some_and(\|u\| u.id == r.owner_id \|\| u.is_admin)
565	})
566	.collect();
567	Ok(layout(
568	"Repositories",
569	user.as_ref(),
570	html! {
571	div style="display:flex;align-items:center" {
572	h1 style="margin-right:auto" { "Repositories" }
573	@if user.is_some() { a.btn href="/-/new" { "New repository" } }
574	}
575	@if repos.is_empty() {
576	p.muted {
577	"No repositories yet. "
578	@if user.is_some() { a href="/-/new" { "Create one" } "." }
579	@else { "Sign in to create one." }
580	}
581	} @else {
582	ul.repo-list {
583	@for r in &repos {
584	@let path = anvil_core::storage::repo_path(&app.config.repositories_dir(), &r.owner, &r.name);
585	@let updated = browse::last_commit_time(&path).ok().flatten();
586	li {
587	div.name {
588	a href=(format!("/{}", r.owner)) { (r.owner) }
589	"/"
590	a href=(format!("/{}/{}", r.owner, r.name)) { (r.name) }
591	@if r.is_private { " " span.pill { "private" } }
592	@if !r.primary_language.is_empty() { " " span.pill.language { (r.primary_language) } }
593	}
594	@if !r.description.is_empty() { div.muted { (r.description) } }
595	@if let Some(t) = updated {
596	div.muted { "Updated " span title=(fmt_time(t)) { (fmt_relative(t)) } }
597	}
598	}
599	}
600	}
601	}
602	},
603	))
604	}
605
606	/// `GET /{username}` — a user's profile: their repositories (public to all;
607	/// private only to themselves or an admin).
608	async fn user_profile(
609	State(app): State<App>,
610	CurrentUser(viewer): CurrentUser,
611	Path(username): Path<String>,
612	) -> Result<Markup, Response> {
613	let owner = users::find_by_username(&app.db, &username)
614	.await
615	.map_err(server_error)?
616	.ok_or_else(\|\| not_found("no such user"))?;
617	let visible: Vec<_> = repos::list_by_owner(&app.db, owner.id)
618	.await
619	.map_err(server_error)?
620	.into_iter()
621	.filter(\|r\| access::can_read(r, viewer.as_ref()))
622	.collect();
623	let is_self = viewer.as_ref().is_some_and(\|u\| u.id == owner.id);
624
625	Ok(layout(
626	&owner.username,
627	viewer.as_ref(),
628	html! {
629	div style="display:flex;align-items:center" {
630	h1 style="margin-right:auto" { (owner.username) }
631	@if is_self { a.btn href="/-/new" { "New repository" } }
632	}
633	h2 { "Repositories" }
634	@if visible.is_empty() {
635	p.muted { "No repositories." }
636	} @else {
637	ul.repo-list {
638	@for r in &visible {
639	@let path = anvil_core::storage::repo_path(&app.config.repositories_dir(), &owner.username, &r.name);
640	@let updated = browse::last_commit_time(&path).ok().flatten();
641	li {
642	div.name {
643	a href=(format!("/{}/{}", owner.username, r.name)) { (r.name) }
644	@if r.is_private { " " span.pill { "private" } }
645	@if !r.primary_language.is_empty() { " " span.pill.language { (r.primary_language) } }
646	}
647	@if !r.description.is_empty() { div.muted { (r.description) } }
648	@if let Some(t) = updated {
649	div.muted { "Updated " span title=(fmt_time(t)) { (fmt_relative(t)) } }
650	}
651	}
652	}
653	}
654	}
655	},
656	))
657	}
658
659	#[derive(serde::Deserialize)]
660	struct AddKeyForm {
661	#[serde(default)]
662	title: String,
663	key: String,
664	#[serde(default)]
665	csrf: String,
666	}
667
668	/// `GET /settings` — account settings: profile + SSH keys.
669	async fn account_settings(
670	State(app): State<App>,
671	CurrentUser(user): CurrentUser,
672	csrf: Csrf,
673	) -> Response {
674	let Some(user) = user else {
675	return Redirect::to("/-/login").into_response();
676	};
677	let keys = match ssh_keys::list_by_user(&app.db, user.id).await {
678	Ok(keys) => keys,
679	Err(e) => return server_error(e),
680	};
681	let tokens = api_tokens::list(&app.db, user.id).await.unwrap_or_default();
682	account_page(&user, &keys, &tokens, None, None, &csrf.0).into_response()
683	}
684
685	/// `POST /settings/keys` — register an SSH public key for the current user.
686	async fn add_ssh_key(
687	State(app): State<App>,
688	CurrentUser(user): CurrentUser,
689	csrf: Csrf,
690	Form(form): Form<AddKeyForm>,
691	) -> Response {
692	let Some(user) = user else {
693	return Redirect::to("/-/login").into_response();
694	};
695	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
696	return resp;
697	}
698	let result = match ssh_keys::parse_public_key(&form.key) {
699	Ok((fingerprint, content)) => {
700	ssh_keys::add(&app.db, user.id, &form.title, &fingerprint, &content)
701	.await
702	.map(\|_\| ())
703	}
704	Err(e) => Err(e),
705	};
706	match result {
707	Ok(()) => Redirect::to("/-/settings").into_response(),
708	Err(e) => {
709	let keys = ssh_keys::list_by_user(&app.db, user.id)
710	.await
711	.unwrap_or_default();
712	let tokens = api_tokens::list(&app.db, user.id).await.unwrap_or_default();
713	(
714	StatusCode::BAD_REQUEST,
715	account_page(&user, &keys, &tokens, None, Some(&e.to_string()), &csrf.0),
716	)
717	.into_response()
718	}
719	}
720	}
721
722	#[derive(serde::Deserialize)]
723	struct CreateTokenForm {
724	#[serde(default)]
725	name: String,
726	#[serde(default)]
727	csrf: String,
728	}
729
730	/// `POST /settings/tokens` — mint a read-only PAT for the current user and show
731	/// the plaintext once (it's only stored hashed, so it can't be shown again).
732	async fn create_token(
733	State(app): State<App>,
734	CurrentUser(user): CurrentUser,
735	csrf: Csrf,
736	Form(form): Form<CreateTokenForm>,
737	) -> Response {
738	let Some(user) = user else {
739	return Redirect::to("/-/login").into_response();
740	};
741	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
742	return resp;
743	}
744	let name = match form.name.trim() {
745	"" => "api",
746	n => n,
747	};
748	let plaintext = match api_tokens::create(&app.db, user.id, name, api_tokens::READ).await {
749	Ok((_, plaintext)) => plaintext,
750	Err(e) => return server_error(e),
751	};
752	let keys = ssh_keys::list_by_user(&app.db, user.id)
753	.await
754	.unwrap_or_default();
755	let tokens = api_tokens::list(&app.db, user.id).await.unwrap_or_default();
756	account_page(&user, &keys, &tokens, Some(&plaintext), None, &csrf.0).into_response()
757	}
758
759	/// `POST /settings/tokens/{id}/delete` — revoke one of the current user's
760	/// tokens (ownership enforced: a user can only revoke their own).
761	async fn revoke_token(
762	State(app): State<App>,
763	CurrentUser(user): CurrentUser,
764	csrf: Csrf,
765	Path(id): Path<i64>,
766	Form(form): Form<crate::auth::CsrfForm>,
767	) -> Response {
768	let Some(user) = user else {
769	return Redirect::to("/-/login").into_response();
770	};
771	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
772	return resp;
773	}
774	let owned = api_tokens::list(&app.db, user.id).await.unwrap_or_default();
775	if owned.iter().any(\|t\| t.id == id)
776	&& let Err(e) = api_tokens::revoke(&app.db, id).await
777	{
778	return server_error(e);
779	}
780	Redirect::to("/-/settings").into_response()
781	}
782
783	/// `POST /settings/keys/{id}/delete` — remove one of the current user's keys.
784	async fn delete_ssh_key(
785	State(app): State<App>,
786	CurrentUser(user): CurrentUser,
787	csrf: Csrf,
788	Path(id): Path<i64>,
789	Form(form): Form<crate::auth::CsrfForm>,
790	) -> Response {
791	let Some(user) = user else {
792	return Redirect::to("/-/login").into_response();
793	};
794	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
795	return resp;
796	}
797	if let Err(e) = ssh_keys::delete(&app.db, id, user.id).await {
798	return server_error(e);
799	}
800	Redirect::to("/-/settings").into_response()
801	}
802
803	fn account_page(
804	user: &User,
805	keys: &[SshKey],
806	tokens: &[ApiToken],
807	new_token: Option<&str>,
808	error: Option<&str>,
809	csrf: &str,
810	) -> Markup {
811	layout(
812	"Account settings",
813	Some(user),
814	html! {
815	h1 { "Account settings" }
816	p.muted {
817	"Signed in as " strong { (user.username) }
818	@if !user.email.is_empty() { " · " (user.email) }
819	@if !user.sso_sub.is_empty() { " · " span.pill { "single sign-on" } }
820	}
821
822	h2 { "SSH keys" }
823	p.muted { "Add a public key to clone and push over SSH." }
824	@if let Some(error) = error { p.error-msg { (error) } }
825	@if keys.is_empty() {
826	p.muted { "No SSH keys yet." }
827	} @else {
828	div.box {
829	@for k in keys {
830	div.row {
831	div {
832	@if !k.title.is_empty() { strong { (k.title) } " " }
833	span.sha { (k.fingerprint) }
834	div.muted style="font-size:12px" { "added " (fmt_time(k.created_at)) }
835	}
836	form method="post" action=(format!("/-/settings/keys/{}/delete", k.id)) {
837	(csrf_input(csrf))
838	button.linkbtn type="submit" { "delete" }
839	}
840	}
841	}
842	}
843	}
844
845	form.stack method="post" action="/-/settings/keys" style="margin-top:16px" {
846	(csrf_input(csrf))
847	p { label { "Title" br; input type="text" name="title" placeholder="laptop"; } }
848	p { label { "Public key" br; textarea name="key" rows="4" placeholder="ssh-ed25519 AAAA…" {} } }
849	p { button.btn type="submit" { "Add SSH key" } }
850	}
851
852	h2 style="margin-top:28px" { "Personal access tokens" }
853	p.muted { "Read-only API tokens for tooling (e.g. fetching attachments over HTTP). The secret is shown once, at creation." }
854	@if let Some(token) = new_token {
855	div.box style="border-color:var(--accent)" {
856	p style="margin-top:0" { strong { "New token — copy it now; it won't be shown again." } }
857	pre.cmds { (token) }
858	}
859	}
860	@if tokens.is_empty() {
861	p.muted { "No tokens yet." }
862	} @else {
863	div.box {
864	@for t in tokens {
865	div.row {
866	div {
867	strong { (t.name) } " " span.pill { (t.scopes) }
868	div.muted style="font-size:12px" { "added " (fmt_time(t.created_at)) }
869	}
870	form method="post" action=(format!("/-/settings/tokens/{}/delete", t.id)) {
871	(csrf_input(csrf))
872	button.linkbtn type="submit" { "revoke" }
873	}
874	}
875	}
876	}
877	}
878	form.stack method="post" action="/-/settings/tokens" style="margin-top:16px" {
879	(csrf_input(csrf))
880	p { label { "Name" br; input type="text" name="name" placeholder="claude"; } }
881	p { button.btn type="submit" { "Create token" } }
882	}
883	},
884	)
885	}
886
887	pub(crate) fn forbidden() -> Response {
888	(
889	StatusCode::FORBIDDEN,
890	layout(
891	"Forbidden",
892	None,
893	html! { h1 { "Forbidden" } p.muted { "You don't have access to this." } },
894	),
895	)
896	.into_response()
897	}
898
899	#[derive(serde::Deserialize)]
900	struct NewRepoForm {
901	name: String,
902	#[serde(default)]
903	description: String,
904	private: Option<String>,
905	#[serde(default)]
906	csrf: String,
907	}
908
909	#[derive(serde::Deserialize)]
910	struct SettingsForm {
911	#[serde(default)]
912	description: String,
913	private: Option<String>,
914	#[serde(default)]
915	mirror_url: String,
916	#[serde(default)]
917	csrf: String,
918	}
919
920	/// `GET /new` — new-repository form (requires login).
921	async fn new_repo_form(
922	State(app): State<App>,
923	CurrentUser(user): CurrentUser,
924	csrf: Csrf,
925	) -> Response {
926	let Some(user) = user else {
927	return Redirect::to("/-/login").into_response();
928	};
929	let remote = push_remote_url(&app, &user.username, "");
930	new_repo_page(&user, None, "", "", false, &remote, &csrf.0).into_response()
931	}
932
933	/// The remote URL to suggest for push-to-create: SSH when enabled (pushes
934	/// without a credential prompt), otherwise HTTP. `name` may be empty, in which
935	/// case a `<name>` placeholder is used.
936	fn push_remote_url(app: &App, owner: &str, name: &str) -> String {
937	let name = if name.is_empty() { "<name>" } else { name };
938	if app.config.ssh.enabled {
939	app.config.ssh_clone_url(owner, name)
940	} else {
941	app.config.http_clone_url(owner, name)
942	}
943	}
944
945	/// `POST /new` — create a repository owned by the current user.
946	async fn new_repo_submit(
947	State(app): State<App>,
948	CurrentUser(user): CurrentUser,
949	csrf: Csrf,
950	Form(form): Form<NewRepoForm>,
951	) -> Response {
952	let Some(user) = user else {
953	return Redirect::to("/-/login").into_response();
954	};
955	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
956	return resp;
957	}
958	let private = form.private.is_some();
959	match repos::create(
960	&app.db,
961	&app.config.repositories_dir(),
962	&user,
963	&form.name,
964	&form.description,
965	private,
966	)
967	.await
968	{
969	Ok(repo) => Redirect::to(&format!("/{}/{}", user.username, repo.name)).into_response(),
970	Err(e) => {
971	let remote = push_remote_url(&app, &user.username, &form.name);
972	(
973	StatusCode::BAD_REQUEST,
974	new_repo_page(
975	&user,
976	Some(&e.to_string()),
977	&form.name,
978	&form.description,
979	private,
980	&remote,
981	&csrf.0,
982	),
983	)
984	.into_response()
985	}
986	}
987	}
988
989	fn new_repo_page(
990	user: &User,
991	error: Option<&str>,
992	name: &str,
993	description: &str,
994	private: bool,
995	remote: &str,
996	csrf: &str,
997	) -> Markup {
998	layout(
999	"New repository",
1000	Some(user),
1001	html! {
1002	h1 { "New repository" }
1003	@if let Some(error) = error { p.error-msg { (error) } }
1004	form.stack method="post" action="/-/new" {
1005	(csrf_input(csrf))
1006	p { label { "Name" br; input type="text" name="name" value=(name) placeholder="my-project" autofocus; } }
1007	p { label { "Description" br; input type="text" name="description" value=(description); } }
1008	p { label.check { input type="checkbox" name="private" value="on" checked[private]; span { "Private — only you can see and push to it" } } }
1009	p { button.btn type="submit" { "Create repository" } }
1010	}
1011	p.muted { "It will be created at " code { (user.username) "/" (if name.is_empty() { "<name>" } else { name }) } "." }
1012
1013	h2 { "…or push an existing repository" }
1014	p.muted { "Pushing to a name that doesn't exist yet creates the repository (private). No need for the form above." }
1015	pre.cmds { (format!("git remote add origin {remote}\ngit push -u origin main")) }
1016	},
1017	)
1018	}
1019
1020	/// Load a repo for an owner-only settings action, enforcing write access.
1021	async fn resolve_for_settings(
1022	app: &App,
1023	viewer: Option<&User>,
1024	owner: &str,
1025	name: &str,
1026	) -> Result<Repository, Response> {
1027	let owner_user = users::find_by_username(&app.db, owner)
1028	.await
1029	.map_err(server_error)?
1030	.ok_or_else(\|\| not_found("no such repository"))?;
1031	let repo = repos::find(&app.db, owner_user.id, name)
1032	.await
1033	.map_err(server_error)?
1034	.ok_or_else(\|\| not_found("no such repository"))?;
1035	if !access::can_read(&repo, viewer) {
1036	return Err(not_found("no such repository"));
1037	}
1038	if !access::can_write(&repo, viewer) {
1039	return Err(forbidden());
1040	}
1041	Ok(repo)
1042	}
1043
1044	/// `GET /{owner}/{repo}/settings` — owner-only repository settings.
1045	async fn repo_settings(
1046	State(app): State<App>,
1047	CurrentUser(user): CurrentUser,
1048	csrf: Csrf,
1049	Path((owner, repo)): Path<(String, String)>,
1050	) -> Response {
1051	let meta = match resolve_for_settings(&app, user.as_ref(), &owner, &repo).await {
1052	Ok(m) => m,
1053	Err(resp) => return resp,
1054	};
1055	let secrets = crate::secrets::settings_section(&app, &owner, &repo, &meta).await;
1056	settings_page(user.as_ref(), &owner, &repo, &meta, secrets, None, &csrf.0).into_response()
1057	}
1058
1059	/// `POST /{owner}/{repo}/settings` — update description / visibility.
1060	async fn repo_settings_submit(
1061	State(app): State<App>,
1062	CurrentUser(user): CurrentUser,
1063	csrf: Csrf,
1064	Path((owner, repo)): Path<(String, String)>,
1065	Form(form): Form<SettingsForm>,
1066	) -> Response {
1067	let meta = match resolve_for_settings(&app, user.as_ref(), &owner, &repo).await {
1068	Ok(m) => m,
1069	Err(resp) => return resp,
1070	};
1071	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
1072	return resp;
1073	}
1074	if let Err(e) = repos::update_settings(
1075	&app.db,
1076	meta.id,
1077	&form.description,
1078	form.private.is_some(),
1079	&form.mirror_url,
1080	)
1081	.await
1082	{
1083	return server_error(e);
1084	}
1085	Redirect::to(&format!("/{owner}/{repo}")).into_response()
1086	}
1087
1088	fn settings_page(
1089	user: Option<&User>,
1090	owner: &str,
1091	repo: &str,
1092	meta: &Repository,
1093	secrets: Markup,
1094	error: Option<&str>,
1095	csrf: &str,
1096	) -> Markup {
1097	layout(
1098	&format!("{owner}/{repo}: settings"),
1099	user,
1100	html! {
1101	h1 { a href=(format!("/{owner}/{repo}")) { (owner) "/" (repo) } " · settings" }
1102	@if let Some(error) = error { p.error-msg { (error) } }
1103	form.stack method="post" action=(format!("/{owner}/{repo}/settings")) {
1104	(csrf_input(csrf))
1105	p { label { "Description" br; input type="text" name="description" value=(meta.description); } }
1106	p { label.check { input type="checkbox" name="private" value="on" checked[meta.is_private]; span { "Private — only you can see and push to it" } } }
1107	p {
1108	label {
1109	"Mirror push URL" br;
1110	input type="text" name="mirror_url" value=(meta.mirror_url)
1111	placeholder="https://x-access-token:<token>@github.com/you/repo.git";
1112	}
1113	br;
1114	span.muted style="font-size:12px" {
1115	"After every push here, all refs are mirrored to this remote ("
1116	code { "git push --mirror" }
1117	"). Stored as-is — use a scoped token. Empty disables it."
1118	}
1119	}
1120	p { button.btn type="submit" { "Save changes" } }
1121	}
1122	(secrets)
1123	},
1124	)
1125	}
1126
1127	fn clone_box(app: &App, owner: &str, name: &str) -> Markup {
1128	let http = app.config.http_clone_url(owner, name);
1129	let ssh = app
1130	.config
1131	.ssh
1132	.enabled
1133	.then(\|\| app.config.ssh_clone_url(owner, name));
1134	// SSH first and preselected when available — it's the protocol that can
1135	// push without a credential prompt.
1136	let default_cmd = format!("git clone {}", ssh.as_deref().unwrap_or(&http));
1137	html! {
1138	div.clone data-http=(format!("git clone {http}")) data-ssh=[ssh.as_ref().map(\|s\| format!("git clone {s}"))] {
1139	div.clone-head {
1140	span.muted { "Clone" }
1141	div.clone-tabs {
1142	@if ssh.is_some() {
1143	button.clone-tab.active type="button" data-proto="ssh" { "SSH" }
1144	button.clone-tab type="button" data-proto="http" { "HTTP" }
1145	} @else {
1146	button.clone-tab.active type="button" data-proto="http" { "HTTP" }
1147	}
1148	}
1149	}
1150	div.clone-cmd {
1151	code { (default_cmd) }
1152	button.copy-btn type="button" title="Copy to clipboard" aria-label="Copy" {
1153	(icon(Icon::Clipboard))
1154	}
1155	span.copied-msg { "Copied!" }
1156	}
1157	}
1158	}
1159	}
1160
1161	/// `GET /{owner}/{repo}` — repository overview with the root tree.
1162	async fn repo_index(
1163	State(app): State<App>,
1164	CurrentUser(user): CurrentUser,
1165	Path((owner, repo)): Path<(String, String)>,
1166	) -> Result<Markup, Response> {
1167	let (path, meta) = resolve_repo(&app, user.as_ref(), &owner, &repo).await?;
1168	let overview = browse::overview(&path).map_err(server_error)?;
1169
1170	let can_write = access::can_write(&meta, user.as_ref());
1171	let header = html! {
1172	div.repo-head {
1173	span.repo-title {
1174	h1 { a href=(format!("/{owner}")) { (owner) } " / " (repo) }
1175	@if meta.is_private { span.pill { "private" } }
1176	}
1177	nav.repo-nav {
1178	a href=(format!("/{owner}/{repo}/blob/{}/TODO.md", enc_ref(overview.default_branch.as_deref().unwrap_or("main")))) { "Todo" }
1179	span.sep { "·" }
1180	a href=(format!("/{owner}/{repo}/ci")) { "CI" }
1181	span.sep { "·" }
1182	a href=(format!("/{owner}/{repo}/pages")) { "Pages" }
1183	@if can_write {
1184	span.sep { "·" }
1185	a href=(format!("/{owner}/{repo}/settings")) { "Settings" }
1186	}
1187	}
1188	}
1189	@if !meta.description.is_empty() { p.muted { (meta.description) } }
1190	p.repo-meta {
1191	span { b { (overview.branches.len()) } " " (plural(overview.branches.len(), "branch", "branches")) }
1192	span { b { (overview.tags.len()) } " " (plural(overview.tags.len(), "tag", "tags")) }
1193	}
1194	(clone_box(&app, &owner, &repo))
1195	};
1196
1197	if overview.is_empty {
1198	return Ok(layout(
1199	&format!("{owner}/{repo}"),
1200	user.as_ref(),
1201	html! {
1202	(header)
1203	p.muted { "This repository is empty. Push to it to get started." }
1204	},
1205	));
1206	}
1207
1208	let rev = overview
1209	.default_branch
1210	.clone()
1211	.unwrap_or_else(\|\| "HEAD".to_string());
1212	let entries = browse::list_tree(&path, &rev, "").map_err(server_error)?;
1213	let latest = browse::commit_log(&path, &rev, 1)
1214	.map_err(server_error)?
1215	.into_iter()
1216	.next();
1217	// Best-effort: a failed walk only costs the per-entry annotations.
1218	let entry_commits =
1219	browse::latest_entry_commits(&path, &rev, "", ENTRY_LOG_WALK).unwrap_or_default();
1220
1221	// A root README renders below the tree, GitHub-style. Best-effort: a
1222	// missing or unreadable file just omits the section.
1223	let readme = entries
1224	.iter()
1225	.find(\|e\| !e.is_dir && e.name.eq_ignore_ascii_case("readme.md"))
1226	.and_then(\|e\| {
1227	let bytes = browse::read_blob(&path, &rev, &e.name).ok().flatten()?;
1228	Some((
1229	render_markdown(&String::from_utf8_lossy(&bytes)),
1230	e.name.clone(),
1231	))
1232	});
1233
1234	// A root TODO.md with tasks renders as a kanban board below the README.
1235	let todo_board = entries
1236	.iter()
1237	.find(\|e\| !e.is_dir && e.name.eq_ignore_ascii_case("todo.md"))
1238	.and_then(\|e\| {
1239	let bytes = browse::read_blob(&path, &rev, &e.name).ok().flatten()?;
1240	let board = todomd::render_board(&String::from_utf8_lossy(&bytes), None)?;
1241	Some((board, e.name.clone()))
1242	});
1243
1244	Ok(layout(
1245	&format!("{owner}/{repo}"),
1246	user.as_ref(),
1247	html! {
1248	(header)
1249	p {
1250	(rev_switcher(&owner, &repo, &rev, &overview))
1251	" · "
1252	a href=(format!("/{owner}/{repo}/commits/{}", enc_ref(&rev))) { "commits" }
1253	}
1254	@if let Some((board, name)) = &todo_board {
1255	section.todo-preview {
1256	p.todo-board-head {
1257	a href=(format!("/{owner}/{repo}/blob/{}/{name}", enc_ref(&rev))) { (name) }
1258	}
1259	input.todo-expand #todo-expand type="checkbox";
1260	div.todo-preview-body { (board) }
1261	label.todo-more for="todo-expand" {}
1262	}
1263	script { (maud::PreEscaped(TODO_PREVIEW_JS)) }
1264	}
1265	@if let Some(c) = &latest {
1266	div.latest-commit {
1267	a.sha href=(format!("/{owner}/{repo}/commit/{}", c.id)) { (c.short) }
1268	a href=(format!("/{owner}/{repo}/commit/{}", c.id)) { (c.summary) }
1269	span.muted style="margin-left:auto" {
1270	(c.author) " · "
1271	span title=(fmt_time(c.time)) { (fmt_relative(c.time)) }
1272	}
1273	}
1274	}
1275	(tree_table(&owner, &repo, &rev, "", &entries, &entry_commits))
1276	@if let Some(lang_bar) = render_languages_bar(&meta.languages_json) {
1277	div.box {
1278	div.readme-head { "Languages" }
1279	div style="padding:8px 16px;" { (lang_bar) }
1280	}
1281	}
1282	@if let Some((rendered, name)) = &readme {
1283	div.box.readme {
1284	div.readme-head {
1285	a href=(format!("/{owner}/{repo}/blob/{}/{name}", enc_ref(&rev))) { (name) }
1286	}
1287	div.md-body { (rendered) }
1288	}
1289	}
1290	},
1291	))
1292	}
1293
1294	/// Drops the clip (and its "show more" toggle) when the preview isn't actually
1295	/// taller than the cap, so a short board doesn't get a pointless teaser.
1296	const TODO_PREVIEW_JS: &str = r#"
1297	(function(){
1298	var d = document.querySelector('.todo-preview');
1299	if (!d) return;
1300	var body = d.querySelector('.todo-preview-body');
1301	if (body.scrollHeight <= body.clientHeight + 8) d.classList.add('fits');
1302	})();
1303	"#;
1304
1305	async fn tree_root(
1306	State(app): State<App>,
1307	user: CurrentUser,
1308	Path((owner, repo, rev)): Path<(String, String, String)>,
1309	) -> Result<Markup, Response> {
1310	render_tree(&app, user, &owner, &repo, &rev, "").await
1311	}
1312
1313	async fn tree_path(
1314	State(app): State<App>,
1315	user: CurrentUser,
1316	Path((owner, repo, rev, path)): Path<(String, String, String, String)>,
1317	) -> Result<Markup, Response> {
1318	render_tree(&app, user, &owner, &repo, &rev, &path).await
1319	}
1320
1321	async fn render_tree(
1322	app: &App,
1323	CurrentUser(user): CurrentUser,
1324	owner: &str,
1325	repo: &str,
1326	rev: &str,
1327	path: &str,
1328	) -> Result<Markup, Response> {
1329	let (repo_path, _) = resolve_repo(app, user.as_ref(), owner, repo).await?;
1330	let overview = browse::overview(&repo_path).map_err(server_error)?;
1331	let entries = browse::list_tree(&repo_path, rev, path).map_err(server_error)?;
1332	// Best-effort: a failed walk only costs the per-entry annotations.
1333	let entry_commits =
1334	browse::latest_entry_commits(&repo_path, rev, path, ENTRY_LOG_WALK).unwrap_or_default();
1335	Ok(layout(
1336	&format!("{owner}/{repo}: {path}"),
1337	user.as_ref(),
1338	html! {
1339	h1 { a href=(format!("/{owner}/{repo}")) { (owner) "/" (repo) } }
1340	p { (rev_switcher(owner, repo, rev, &overview)) }
1341	(breadcrumbs(owner, repo, rev, path, false))
1342	(tree_table(owner, repo, rev, path, &entries, &entry_commits))
1343	},
1344	))
1345	}
1346
1347	/// `GET /{owner}/{repo}/blob/{rev}/{*path}` — view a file. Markdown renders
1348	/// by default; `?plain=1` shows the raw source (toggle links on the page).
1349	async fn blob(
1350	State(app): State<App>,
1351	CurrentUser(user): CurrentUser,
1352	csrf: Csrf,
1353	Path((owner, repo, rev, path)): Path<(String, String, String, String)>,
1354	Query(query): Query<HashMap<String, String>>,
1355	) -> Result<Markup, Response> {
1356	let (repo_path, meta) = resolve_repo(&app, user.as_ref(), &owner, &repo).await?;
1357	let (oid, bytes) = browse::read_blob_with_id(&repo_path, &rev, &path)
1358	.map_err(server_error)?
1359	.ok_or_else(\|\| not_found("file not found"))?;
1360
1361	// Editing writes a commit onto a branch, so it's offered only to writers
1362	// viewing a text file at a branch tip (not a tag or detached commit). The
1363	// resolved tip is the compare-and-swap guard for board delete actions.
1364	let edit_tip = (!is_binary(&bytes) && access::can_write(&meta, user.as_ref()))
1365	.then(\|\| browse::resolve_commit(&repo_path, &format!("refs/heads/{rev}")).ok())
1366	.flatten();
1367	let can_edit = edit_tip.is_some();
1368
1369	let markdown = is_markdown(&path) && !is_binary(&bytes);
1370	// Custom renderers for well-known filenames (the plugin point — add new
1371	// filename → renderer pairs here). TODO.md defaults to a kanban board.
1372	let is_todo = todomd::is_todo_md(&path) && !is_binary(&bytes);
1373	let board_actions = edit_tip.as_ref().map(\|tip\| todomd::BoardActions {
1374	owner: &owner,
1375	repo: &repo,
1376	rev: &rev,
1377	path: &path,
1378	tip,
1379	csrf: &csrf.0,
1380	});
1381	let board = (is_todo && !query.contains_key("plain") && !query.contains_key("md"))
1382	.then(\|\| todomd::render_board(&String::from_utf8_lossy(&bytes), board_actions.as_ref()))
1383	.flatten();
1384	let rendered = markdown && !query.contains_key("plain") && board.is_none();
1385
1386	let body = if let Some(board) = &board {
1387	board.clone()
1388	} else if is_binary(&bytes) {
1389	html! { p.muted { "Binary file (" (bytes.len()) " bytes)" } }
1390	} else if rendered {
1391	let text = String::from_utf8_lossy(&bytes);
1392	html! { div.md-body { (render_markdown(&text)) } }
1393	} else {
1394	let text = String::from_utf8_lossy(&bytes);
1395	let budget = app.config.http.highlight_cache_mb.saturating_mul(1 << 20);
1396	let lines = cached_highlight(budget, &oid, &path, &text);
1397	html! {
1398	table.code {
1399	@for (i, line) in lines.iter().enumerate() {
1400	tr {
1401	td.ln { (i + 1) }
1402	td { (PreEscaped(line)) }
1403	}
1404	}
1405	}
1406	}
1407	};
1408
1409	let blob_url = format!("/{owner}/{repo}/blob/{}/{path}", enc_ref(&rev));
1410	Ok(layout(
1411	&format!("{owner}/{repo}: {path}"),
1412	user.as_ref(),
1413	html! {
1414	h1 { a href=(format!("/{owner}/{repo}")) { (owner) "/" (repo) } }
1415	(breadcrumbs(&owner, &repo, &rev, &path, true))
1416	@if can_edit {
1417	p.file-actions {
1418	a.btn.btn-secondary href=(format!("/{owner}/{repo}/edit/{}/{path}", enc_ref(&rev))) {
1419	(icon(Icon::Pencil)) "Edit"
1420	}
1421	@if is_todo {
1422	a.btn.btn-secondary href=(format!("/{owner}/{repo}/add-task/{}/{path}", enc_ref(&rev))) {
1423	(icon(Icon::Plus)) "Add task"
1424	}
1425	}
1426	}
1427	}
1428	@if markdown {
1429	p.view-toggle {
1430	span.pill-group {
1431	@if is_todo {
1432	@if board.is_some() { span.pill.active { "Board" } }
1433	@else { a.pill href=(&blob_url) { "Board" } }
1434	@if rendered { span.pill.active { "Rendered" } }
1435	@else { a.pill href=(format!("{blob_url}?md=1")) { "Rendered" } }
1436	} @else if rendered {
1437	span.pill.active { "Rendered" }
1438	} @else {
1439	a.pill href=(&blob_url) { "Rendered" }
1440	}
1441	@if rendered \|\| board.is_some() {
1442	a.pill href=(format!("{blob_url}?plain=1")) { "Source" }
1443	} @else {
1444	span.pill.active { "Source" }
1445	}
1446	}
1447	}
1448	}
1449	@if board.is_some() {
1450	// The board supplies its own column structure; an enclosing
1451	// box would just nest frames.
1452	(body)
1453	} @else {
1454	div.box style="overflow-x:auto" { (body) }
1455	}
1456	},
1457	))
1458	}
1459
1460	#[derive(serde::Deserialize)]
1461	struct EditFileForm {
1462	csrf: String,
1463	/// Expected branch tip the editor saw — the compare-and-swap guard.
1464	expected_tip: String,
1465	message: String,
1466	content: String,
1467	}
1468
1469	/// Resolve a repo for a web edit, enforcing read+write access and that `rev`
1470	/// names a branch (editing advances a branch ref). Returns the repo path and
1471	/// the branch tip the editor is working from.
1472	async fn resolve_for_edit(
1473	app: &App,
1474	user: Option<&User>,
1475	owner: &str,
1476	repo: &str,
1477	rev: &str,
1478	) -> Result<(PathBuf, String), Response> {
1479	let (repo_path, meta) = resolve_repo(app, user, owner, repo).await?;
1480	if user.is_none() {
1481	return Err(Redirect::to("/-/login").into_response());
1482	}
1483	if !access::can_write(&meta, user) {
1484	return Err(forbidden());
1485	}
1486	let tip = browse::resolve_commit(&repo_path, &format!("refs/heads/{rev}"))
1487	.map_err(\|_\| not_found("not an editable branch"))?;
1488	Ok((repo_path, tip))
1489	}
1490
1491	/// `GET /{owner}/{repo}/edit/{rev}/{*path}` — textarea editor for an existing
1492	/// text file on a branch.
1493	async fn edit_form(
1494	State(app): State<App>,
1495	CurrentUser(user): CurrentUser,
1496	csrf: Csrf,
1497	Path((owner, repo, rev, path)): Path<(String, String, String, String)>,
1498	) -> Response {
1499	let (repo_path, tip) = match resolve_for_edit(&app, user.as_ref(), &owner, &repo, &rev).await {
1500	Ok(v) => v,
1501	Err(resp) => return resp,
1502	};
1503	let bytes = match browse::read_blob(&repo_path, &rev, &path) {
1504	Ok(Some(b)) => b,
1505	Ok(None) => return not_found("file not found"),
1506	Err(e) => return server_error(e),
1507	};
1508	if is_binary(&bytes) {
1509	return bad_request_page(
1510	user.as_ref(),
1511	"Binary files can't be edited in the browser.",
1512	);
1513	}
1514	let content = String::from_utf8_lossy(&bytes).into_owned();
1515	edit_page(
1516	&owner,
1517	&repo,
1518	&rev,
1519	&path,
1520	&content,
1521	&format!("Update {path}"),
1522	&tip,
1523	None,
1524	user.as_ref(),
1525	&csrf.0,
1526	)
1527	.into_response()
1528	}
1529
1530	/// `POST /{owner}/{repo}/edit/{rev}/{*path}` — commit the edited content.
1531	async fn edit_submit(
1532	State(app): State<App>,
1533	CurrentUser(user): CurrentUser,
1534	csrf: Csrf,
1535	Path((owner, repo, rev, path)): Path<(String, String, String, String)>,
1536	Form(form): Form<EditFileForm>,
1537	) -> Response {
1538	let repo_path = match resolve_for_edit(&app, user.as_ref(), &owner, &repo, &rev).await {
1539	Ok((p, _)) => p,
1540	Err(resp) => return resp,
1541	};
1542	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
1543	return resp;
1544	}
1545	let user = user.expect("resolve_for_edit requires a logged-in user");
1546
1547	// Browsers serialize textarea newlines as CRLF; normalize so an edit
1548	// doesn't rewrite every line ending.
1549	let content = form.content.replace("\r\n", "\n");
1550	let message = if form.message.trim().is_empty() {
1551	format!("Update {path}")
1552	} else {
1553	form.message.clone()
1554	};
1555
1556	match anvil_git::edit::commit_file_change(
1557	&repo_path,
1558	&rev,
1559	&form.expected_tip,
1560	&path,
1561	content.as_bytes(),
1562	&user.username,
1563	&user.email,
1564	&message,
1565	) {
1566	Ok(_) => {
1567	Redirect::to(&format!("/{owner}/{repo}/blob/{}/{path}", enc_ref(&rev))).into_response()
1568	}
1569	Err(e) => edit_page(
1570	&owner,
1571	&repo,
1572	&rev,
1573	&path,
1574	&content,
1575	&message,
1576	&form.expected_tip,
1577	Some(&e.to_string()),
1578	Some(&user),
1579	&csrf.0,
1580	)
1581	.into_response(),
1582	}
1583	}
1584
1585	/// The file-editor page: a textarea, a commit-message field, and the
1586	/// compare-and-swap tip carried in a hidden field.
1587	#[allow(clippy::too_many_arguments)]
1588	fn edit_page(
1589	owner: &str,
1590	repo: &str,
1591	rev: &str,
1592	path: &str,
1593	content: &str,
1594	message: &str,
1595	expected_tip: &str,
1596	error: Option<&str>,
1597	user: Option<&User>,
1598	csrf: &str,
1599	) -> Markup {
1600	let action = format!("/{owner}/{repo}/edit/{}/{path}", enc_ref(rev));
1601	let cancel = format!("/{owner}/{repo}/blob/{}/{path}", enc_ref(rev));
1602	let upload_url = format!("/{owner}/{repo}/-/attachments");
1603	layout(
1604	&format!("Edit {path}"),
1605	user,
1606	html! {
1607	h1 { a href=(format!("/{owner}/{repo}")) { (owner) "/" (repo) } }
1608	(breadcrumbs(owner, repo, rev, path, true))
1609	p.muted { "Editing on branch " code { (rev) } " — commits as you." }
1610	@if let Some(error) = error { p.error-msg { (error) } }
1611	form.stack method="post" action=(action) {
1612	(csrf_input(csrf))
1613	input type="hidden" name="expected_tip" value=(expected_tip);
1614	p {
1615	textarea.editor name="content" rows="24" spellcheck="false" autofocus
1616	data-upload-url=(upload_url) data-csrf=(csrf) { (content) }
1617	}
1618	p.upload-hint {
1619	label.btn.btn-secondary.attach-btn {
1620	"Attach image"
1621	input.attach-input type="file" accept="image/*" multiple hidden;
1622	}
1623	" "
1624	span.muted { "or paste/drop one — it's stored outside git and a Markdown link is inserted." }
1625	}
1626	p { label { "Commit message" br; input type="text" name="message" value=(message); } }
1627	p {
1628	button.btn type="submit" { "Commit changes" }
1629	" "
1630	a.btn.btn-secondary href=(cancel) { "Cancel" }
1631	}
1632	}
1633	script { (PreEscaped(EDITOR_JS)) }
1634	},
1635	)
1636	}
1637
1638	/// Paste/drop-to-upload for the file editor: image clipboard items and dropped
1639	/// image files are POSTed to the repo's attachment endpoint as a raw body, and
1640	/// the returned Markdown is spliced into the textarea at the cursor. The blob
1641	/// is stored outside git; only the URL lands in the file.
1642	const EDITOR_JS: &str = r#"
1643	(function(){
1644	var ta = document.querySelector('textarea.editor');
1645	if (!ta \|\| !ta.dataset.uploadUrl) return;
1646	var url = ta.dataset.uploadUrl, csrf = ta.dataset.csrf;
1647	function insertAtCursor(text){
1648	var s = ta.selectionStart, e = ta.selectionEnd;
1649	ta.value = ta.value.slice(0, s) + text + ta.value.slice(e);
1650	ta.selectionStart = ta.selectionEnd = s + text.length;
1651	ta.focus();
1652	}
1653	function replaceFirst(find, repl){
1654	var i = ta.value.indexOf(find);
1655	if (i >= 0) ta.value = ta.value.slice(0, i) + repl + ta.value.slice(i + find.length);
1656	}
1657	function upload(file){
1658	var token = '![uploading ' + (file.name \|\| 'image') + '…]()';
1659	insertAtCursor(token + '\n');
1660	fetch(url, {
1661	method: 'POST',
1662	headers: {'X-CSRF-Token': csrf, 'Content-Type': file.type \|\| 'application/octet-stream'},
1663	body: file
1664	}).then(function(r){
1665	if (!r.ok) throw new Error('upload failed (' + r.status + ')');
1666	return r.json();
1667	}).then(function(d){
1668	replaceFirst(token, d.markdown);
1669	}).catch(function(err){
1670	replaceFirst(token, '![upload failed]()');
1671	console.error(err);
1672	});
1673	}
1674	ta.addEventListener('paste', function(ev){
1675	var items = (ev.clipboardData \|\| {}).items \|\| [];
1676	for (var i = 0; i < items.length; i++){
1677	if (items[i].kind === 'file' && items[i].type.indexOf('image/') === 0){
1678	ev.preventDefault();
1679	upload(items[i].getAsFile());
1680	}
1681	}
1682	});
1683	ta.addEventListener('dragover', function(ev){ ev.preventDefault(); });
1684	ta.addEventListener('drop', function(ev){
1685	var files = (ev.dataTransfer \|\| {}).files \|\| [], imgs = [];
1686	for (var i = 0; i < files.length; i++){
1687	if (files[i].type.indexOf('image/') === 0) imgs.push(files[i]);
1688	}
1689	if (imgs.length){ ev.preventDefault(); imgs.forEach(upload); }
1690	});
1691	// The "Attach image" button (works where paste/drop don't, e.g. mobile):
1692	// a file picker that uploads each chosen image.
1693	var picker = document.querySelector('input.attach-input');
1694	if (picker) picker.addEventListener('change', function(){
1695	var files = picker.files \|\| [];
1696	for (var i = 0; i < files.length; i++){
1697	if (files[i].type.indexOf('image/') === 0) upload(files[i]);
1698	}
1699	picker.value = ''; // let the same file be re-picked
1700	});
1701	})();
1702	"#;
1703
1704	#[derive(serde::Deserialize)]
1705	struct AddTaskForm {
1706	csrf: String,
1707	expected_tip: String,
1708	section: String,
1709	title: String,
1710	#[serde(default)]
1711	body: String,
1712	}
1713
1714	/// `GET /{owner}/{repo}/add-task/{rev}/{*path}` — structured "add a task" form
1715	/// for a `TODO.md`, appending a `- [ ]` item per the todo-md round-trip rules.
1716	async fn add_task_form(
1717	State(app): State<App>,
1718	CurrentUser(user): CurrentUser,
1719	csrf: Csrf,
1720	Path((owner, repo, rev, path)): Path<(String, String, String, String)>,
1721	) -> Response {
1722	let (repo_path, tip) = match resolve_for_edit(&app, user.as_ref(), &owner, &repo, &rev).await {
1723	Ok(v) => v,
1724	Err(resp) => return resp,
1725	};
1726	if !todomd::is_todo_md(&path) {
1727	return not_found("not a TODO.md");
1728	}
1729	let bytes = match browse::read_blob(&repo_path, &rev, &path) {
1730	Ok(Some(b)) => b,
1731	Ok(None) => return not_found("file not found"),
1732	Err(e) => return server_error(e),
1733	};
1734	let sections = todomd::task_sections(&String::from_utf8_lossy(&bytes));
1735	if sections.is_empty() {
1736	return bad_request_page(user.as_ref(), "This TODO.md has no sections to add to.");
1737	}
1738	add_task_page(
1739	&owner,
1740	&repo,
1741	&rev,
1742	&path,
1743	&sections,
1744	"",
1745	"",
1746	&tip,
1747	None,
1748	user.as_ref(),
1749	&csrf.0,
1750	)
1751	.into_response()
1752	}
1753
1754	/// `POST /{owner}/{repo}/add-task/{rev}/{*path}` — append the task and commit.
1755	async fn add_task_submit(
1756	State(app): State<App>,
1757	CurrentUser(user): CurrentUser,
1758	csrf: Csrf,
1759	Path((owner, repo, rev, path)): Path<(String, String, String, String)>,
1760	Form(form): Form<AddTaskForm>,
1761	) -> Response {
1762	let repo_path = match resolve_for_edit(&app, user.as_ref(), &owner, &repo, &rev).await {
1763	Ok((p, _)) => p,
1764	Err(resp) => return resp,
1765	};
1766	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
1767	return resp;
1768	}
1769	let user = user.expect("resolve_for_edit requires a logged-in user");
1770	if !todomd::is_todo_md(&path) {
1771	return not_found("not a TODO.md");
1772	}
1773	let bytes = match browse::read_blob(&repo_path, &rev, &path) {
1774	Ok(Some(b)) => b,
1775	Ok(None) => return not_found("file not found"),
1776	Err(e) => return server_error(e),
1777	};
1778	let text = String::from_utf8_lossy(&bytes);
1779	let sections = todomd::task_sections(&text);
1780
1781	// Browsers serialize textarea newlines as CRLF; store LF.
1782	let body = form.body.replace("\r\n", "\n");
1783
1784	let render_err = \|msg: &str, csrf: &Csrf\| {
1785	add_task_page(
1786	&owner,
1787	&repo,
1788	&rev,
1789	&path,
1790	&sections,
1791	&form.title,
1792	&body,
1793	&form.expected_tip,
1794	Some(msg),
1795	Some(&user),
1796	&csrf.0,
1797	)
1798	.into_response()
1799	};
1800
1801	let Some(updated) = todomd::add_task(&text, &form.section, &form.title, &body) else {
1802	return render_err(
1803	"Couldn't add the task — check the title isn't empty and the section exists.",
1804	&csrf,
1805	);
1806	};
1807
1808	let message = format!("Add task to {}", form.section);
1809	match anvil_git::edit::commit_file_change(
1810	&repo_path,
1811	&rev,
1812	&form.expected_tip,
1813	&path,
1814	updated.as_bytes(),
1815	&user.username,
1816	&user.email,
1817	&message,
1818	) {
1819	Ok(_) => {
1820	Redirect::to(&format!("/{owner}/{repo}/blob/{}/{path}", enc_ref(&rev))).into_response()
1821	}
1822	Err(e) => render_err(&e.to_string(), &csrf),
1823	}
1824	}
1825
1826	#[derive(serde::Deserialize)]
1827	struct DeleteTaskForm {
1828	#[serde(default)]
1829	csrf: String,
1830	expected_tip: String,
1831	section: String,
1832	title: String,
1833	}
1834
1835	/// `POST /{owner}/{repo}/delete-task/{rev}/{*path}` — remove a task/ticket from
1836	/// a `TODO.md` (the ✕ on a board card) and commit. Compare-and-swap guarded by
1837	/// `expected_tip`, so a concurrent change is rejected rather than clobbered.
1838	async fn delete_task(
1839	State(app): State<App>,
1840	CurrentUser(user): CurrentUser,
1841	csrf: Csrf,
1842	Path((owner, repo, rev, path)): Path<(String, String, String, String)>,
1843	Form(form): Form<DeleteTaskForm>,
1844	) -> Response {
1845	let repo_path = match resolve_for_edit(&app, user.as_ref(), &owner, &repo, &rev).await {
1846	Ok((p, _)) => p,
1847	Err(resp) => return resp,
1848	};
1849	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
1850	return resp;
1851	}
1852	let user = user.expect("resolve_for_edit requires a logged-in user");
1853	if !todomd::is_todo_md(&path) {
1854	return not_found("not a TODO.md");
1855	}
1856	let bytes = match browse::read_blob(&repo_path, &rev, &path) {
1857	Ok(Some(b)) => b,
1858	Ok(None) => return not_found("file not found"),
1859	Err(e) => return server_error(e),
1860	};
1861	let text = String::from_utf8_lossy(&bytes);
1862
1863	let Some(updated) = todomd::remove_task(&text, &form.section, &form.title) else {
1864	// Already gone (e.g. a double submit) — just show the current board.
1865	return Redirect::to(&format!("/{owner}/{repo}/blob/{}/{path}", enc_ref(&rev)))
1866	.into_response();
1867	};
1868
1869	let message = format!("Delete task: {}", form.title);
1870	match anvil_git::edit::commit_file_change(
1871	&repo_path,
1872	&rev,
1873	&form.expected_tip,
1874	&path,
1875	updated.as_bytes(),
1876	&user.username,
1877	&user.email,
1878	&message,
1879	) {
1880	Ok(_) => {
1881	Redirect::to(&format!("/{owner}/{repo}/blob/{}/{path}", enc_ref(&rev))).into_response()
1882	}
1883	Err(e) => bad_request_page(Some(&user), &format!("Couldn't delete the task: {e}")),
1884	}
1885	}
1886
1887	#[derive(serde::Deserialize)]
1888	struct MoveTaskForm {
1889	#[serde(default)]
1890	csrf: String,
1891	expected_tip: String,
1892	title: String,
1893	from_section: String,
1894	to_section: String,
1895	to_index: usize,
1896	}
1897
1898	/// `POST /{owner}/{repo}/move-task/{rev}/{*path}` — reorder/move a task on the
1899	/// board (drag-and-drop). Write-gated, CSRF-checked, compare-and-swap on the
1900	/// branch tip. Driven by `fetch`, so it returns bare status codes.
1901	async fn move_task(
1902	State(app): State<App>,
1903	CurrentUser(user): CurrentUser,
1904	csrf: Csrf,
1905	Path((owner, repo, rev, path)): Path<(String, String, String, String)>,
1906	Form(form): Form<MoveTaskForm>,
1907	) -> Response {
1908	let repo_path = match resolve_for_edit(&app, user.as_ref(), &owner, &repo, &rev).await {
1909	Ok((p, _)) => p,
1910	Err(resp) => return resp,
1911	};
1912	if let Err(resp) = verify_csrf(&csrf, &form.csrf) {
1913	return resp;
1914	}
1915	let user = user.expect("resolve_for_edit requires a logged-in user");
1916	if !todomd::is_todo_md(&path) {
1917	return not_found("not a TODO.md");
1918	}
1919	let bytes = match browse::read_blob(&repo_path, &rev, &path) {
1920	Ok(Some(b)) => b,
1921	Ok(None) => return not_found("file not found"),
1922	Err(e) => return server_error(e),
1923	};
1924	let text = String::from_utf8_lossy(&bytes);
1925
1926	let Some(updated) = todomd::move_task(
1927	&text,
1928	&form.title,
1929	&form.from_section,
1930	&form.to_section,
1931	form.to_index,
1932	) else {
1933	return (StatusCode::BAD_REQUEST, "could not move task").into_response();
1934	};
1935
1936	let message = if form.from_section == form.to_section {
1937	format!("Reorder {} in {}", form.title, form.to_section)
1938	} else {
1939	format!("Move {} to {}", form.title, form.to_section)
1940	};
1941	match anvil_git::edit::commit_file_change(
1942	&repo_path,
1943	&rev,
1944	&form.expected_tip,
1945	&path,
1946	updated.as_bytes(),
1947	&user.username,
1948	&user.email,
1949	&message,
1950	) {
1951	// A no-op drop (dropped back in place) is success, not an error.
1952	Ok(_) \| Err(anvil_git::edit::EditError::NoChanges) => StatusCode::OK.into_response(),
1953	Err(anvil_git::edit::EditError::BranchMoved { .. }) => {
1954	(StatusCode::CONFLICT, "branch moved — reload").into_response()
1955	}
1956	Err(e) => (StatusCode::INTERNAL_SERVER_ERROR, e.to_string()).into_response(),
1957	}
1958	}
1959
1960	/// The add-task form: a section dropdown, a title field, and a Markdown
1961	/// description (which supports paste/drop image upload, like the file editor).
1962	#[allow(clippy::too_many_arguments)]
1963	fn add_task_page(
1964	owner: &str,
1965	repo: &str,
1966	rev: &str,
1967	path: &str,
1968	sections: &[String],
1969	title: &str,
1970	body: &str,
1971	expected_tip: &str,
1972	error: Option<&str>,
1973	user: Option<&User>,
1974	csrf: &str,
1975	) -> Markup {
1976	let action = format!("/{owner}/{repo}/add-task/{}/{path}", enc_ref(rev));
1977	let cancel = format!("/{owner}/{repo}/blob/{}/{path}", enc_ref(rev));
1978	let upload_url = format!("/{owner}/{repo}/-/attachments");
1979	layout(
1980	&format!("Add task · {path}"),
1981	user,
1982	html! {
1983	h1 { a href=(format!("/{owner}/{repo}")) { (owner) "/" (repo) } }
1984	(breadcrumbs(owner, repo, rev, path, true))
1985	h2 { "Add a task" }
1986	@if let Some(error) = error { p.error-msg { (error) } }
1987	form.stack method="post" action=(action) {
1988	(csrf_input(csrf))
1989	input type="hidden" name="expected_tip" value=(expected_tip);
1990	p { label { "Section" br;
1991	select name="section" {
1992	@for s in sections { option value=(s) { (s) } }
1993	}
1994	} }
1995	p { label { "Title" br;
1996	input type="text" name="title" value=(title) placeholder="Short ticket title" autofocus;
1997	} }
1998	p { label { "Description" br;
1999	textarea.editor name="body" rows="10" spellcheck="false"
2000	placeholder="Markdown — attach an image with the button below, or paste/drop one"
2001	data-upload-url=(upload_url) data-csrf=(csrf) { (body) }
2002	} }
2003	p.upload-hint {
2004	label.btn.btn-secondary.attach-btn {
2005	"Attach image"
2006	input.attach-input type="file" accept="image/*" multiple hidden;
2007	}
2008	" "
2009	span.muted { "stored outside git; a Markdown link is inserted into the description." }
2010	}
2011	p {
2012	button.btn type="submit" { "Add task" }
2013	" "
2014	a.btn.btn-secondary href=(cancel) { "Cancel" }
2015	}
2016	}
2017	script { (PreEscaped(EDITOR_JS)) }
2018	},
2019	)
2020	}
2021
2022	/// A 400 page for malformed edit requests (binary file, no sections, …).
2023	fn bad_request_page(user: Option<&User>, message: &str) -> Response {
2024	(
2025	StatusCode::BAD_REQUEST,
2026	layout(
2027	"Can't edit",
2028	user,
2029	html! { h1 { "Can't edit" } p.muted { (message) } },
2030	),
2031	)
2032	.into_response()
2033	}
2034
2035	/// Pick the singular or plural noun for a count (`1 branch` / `2 branches`).
2036	fn plural<'a>(n: usize, one: &'a str, many: &'a str) -> &'a str {
2037	if n == 1 { one } else { many }
2038	}
2039
2040	/// Whether a path should be treated as markdown (by extension).
2041	fn is_markdown(path: &str) -> bool {
2042	std::path::Path::new(path)
2043	.extension()
2044	.and_then(\|e\| e.to_str())
2045	.is_some_and(\|e\| e.eq_ignore_ascii_case("md") \|\| e.eq_ignore_ascii_case("markdown"))
2046	}
2047
2048	/// Render markdown to HTML (tables, strikethrough, task lists, footnotes).
2049	///
2050	/// Repo content is untrusted, so this is a stored-XSS surface: raw HTML in the
2051	/// source is emitted as escaped literal text, and `javascript:`/`data:`-style
2052	/// link and image destinations are dropped.
2053	pub(crate) fn render_markdown(text: &str) -> Markup {
2054	use pulldown_cmark::{
2055	Event,
2056	Options,
2057	Parser,
2058	Tag,
2059	html,
2060	};
2061
2062	fn safe_url(dest: &str) -> bool {
2063	let d = dest.trim().to_ascii_lowercase();
2064	!(d.starts_with("javascript:") \|\| d.starts_with("data:") \|\| d.starts_with("vbscript:"))
2065	}
2066
2067	let opts = Options::ENABLE_TABLES
2068	\| Options::ENABLE_STRIKETHROUGH
2069	\| Options::ENABLE_TASKLISTS
2070	\| Options::ENABLE_FOOTNOTES;
2071	let events = Parser::new_ext(text, opts).map(\|ev\| match ev {
2072	Event::Html(h) => Event::Text(h),
2073	Event::InlineHtml(h) => Event::Text(h),
2074	Event::Start(Tag::Link {
2075	link_type,
2076	dest_url,
2077	title,
2078	id,
2079	}) if !safe_url(&dest_url) => Event::Start(Tag::Link {
2080	link_type,
2081	dest_url: "".into(),
2082	title,
2083	id,
2084	}),
2085	Event::Start(Tag::Image {
2086	link_type,
2087	dest_url,
2088	title,
2089	id,
2090	}) if !safe_url(&dest_url) => Event::Start(Tag::Image {
2091	link_type,
2092	dest_url: "".into(),
2093	title,
2094	id,
2095	}),
2096	e => e,
2097	});
2098	let mut out = String::new();
2099	html::push_html(&mut out, events);
2100	PreEscaped(out)
2101	}
2102
2103	/// Render a language breakdown bar showing percentages of each detected language.
2104	/// Displays as a horizontal bar with each language's proportion.
2105	pub(crate) fn render_languages_bar(languages_json: &str) -> Option<Markup> {
2106	if languages_json.is_empty() \|\| languages_json == "[]" {
2107	return None;
2108	}
2109
2110	// Parse the JSON array
2111	let langs: Vec<serde_json::Value> = serde_json::from_str(languages_json).ok()?;
2112	if langs.is_empty() {
2113	return None;
2114	}
2115
2116	// Color palette for languages (simple heuristic)
2117	let color_for_lang = \|lang: &str\| -> &'static str {
2118	match lang {
2119	"Rust" => "#CE422B",
2120	"Python" => "#3776AB",
2121	"JavaScript" => "#F7DF1E",
2122	"TypeScript" => "#3178C6",
2123	"Go" => "#00ADD8",
2124	"Java" => "#007396",
2125	"C++" => "#00599C",
2126	"C#" => "#239120",
2127	"Ruby" => "#CC342D",
2128	"PHP" => "#777BB4",
2129	"Markdown" => "#083FA1",
2130	"HTML" => "#E34C26",
2131	"CSS" => "#563D7C",
2132	"SQL" => "#336791",
2133	_ => "#999999",
2134	}
2135	};
2136
2137	let mut html = String::from(
2138	r#"<div class="language-bar" style="display:flex;border-radius:4px;overflow:hidden;height:20px;background:var(--code-bg);">"#,
2139	);
2140	for lang_obj in langs {
2141	if let (Some(lang), Some(percent)) = (
2142	lang_obj.get("lang").and_then(\|v\| v.as_str()),
2143	lang_obj.get("percent").and_then(\|v\| v.as_f64()),
2144	) {
2145	let color = color_for_lang(lang);
2146	html.push_str(&format!(
2147	r#"<div style="width:{:.1}%;background-color:{};tooltip:'{}';height:100%" title="{}"></div>"#,
2148	percent, color, lang, lang
2149	));
2150	}
2151	}
2152	html.push_str("</div>");
2153
2154	Some(PreEscaped(html))
2155	}
2156
2157	/// How far back the per-entry "latest commit" walk looks. Entries last touched
2158	/// beyond this many commits just lose the annotation.
2159	const ENTRY_LOG_WALK: usize = 400;
2160
2161	/// Folder or file icon for an entry row (tree listings, pages, artifacts).
2162	pub(crate) fn entry_icon(is_dir: bool) -> Markup {
2163	if is_dir {
2164	icon_with(Icon::Folder, "icon dir")
2165	} else {
2166	icon(Icon::File)
2167	}
2168	}
2169
2170	/// Human-readable byte size (`482 B`, `1.2 KiB`, `34.0 MiB`).
2171	pub(crate) fn fmt_size(bytes: i64) -> String {
2172	let b = bytes.max(0) as f64;
2173	match b {
2174	b if b < 1024.0 => format!("{bytes} B"),
2175	b if b < 1024.0 * 1024.0 => format!("{:.1} KiB", b / 1024.0),
2176	b if b < 1024.0 * 1024.0 * 1024.0 => format!("{:.1} MiB", b / (1024.0 * 1024.0)),
2177	b => format!("{:.1} GiB", b / (1024.0 * 1024.0 * 1024.0)),
2178	}
2179	}
2180
2181	/// Percent-encode a ref name for use as one path segment in a URL. Axum
2182	/// matches routes before decoding, so an encoded `/` keeps a branch like
2183	/// `feat/x` inside the single `{rev}` segment.
2184	pub(crate) fn enc_ref(name: &str) -> String {
2185	name.replace('%', "%25")
2186	.replace('/', "%2F")
2187	.replace('?', "%3F")
2188	.replace('#', "%23")
2189	}
2190
2191	/// Branch/tag switcher: a dropdown over the current rev linking each ref to
2192	/// its tree view. Branch names, tag names, and commit ids all work as `rev`.
2193	fn rev_switcher(owner: &str, repo: &str, rev: &str, overview: &browse::Overview) -> Markup {
2194	html! {
2195	details.nav-menu.rev-menu {
2196	summary { span.pill { (rev) } }
2197	div.nav-dropdown.left {
2198	@if !overview.branches.is_empty() {
2199	div.dd-head { "Branches" }
2200	@for b in &overview.branches {
2201	a.current[b == rev] href=(format!("/{owner}/{repo}/tree/{}", enc_ref(b))) { (b) }
2202	}
2203	}
2204	@if !overview.tags.is_empty() {
2205	div.dd-head { "Tags" }
2206	@for t in &overview.tags {
2207	a.current[t == rev] href=(format!("/{owner}/{repo}/tree/{}", enc_ref(t))) { (t) }
2208	}
2209	}
2210	}
2211	}
2212	}
2213	}
2214
2215	/// Render a tree listing as a box of rows; directories link to `tree`, files to
2216	/// `blob`. Each entry also shows the subject of (and links to) the latest
2217	/// commit that touched it, when `latest` has one for it.
2218	fn tree_table(
2219	owner: &str,
2220	repo: &str,
2221	rev: &str,
2222	path: &str,
2223	entries: &[browse::TreeEntry],
2224	latest: &BTreeMap<String, browse::CommitInfo>,
2225	) -> Markup {
2226	let join = \|name: &str\| {
2227	if path.is_empty() {
2228	name.to_string()
2229	} else {
2230	format!("{path}/{name}")
2231	}
2232	};
2233	html! {
2234	div.box {
2235	@if !path.is_empty() {
2236	div.row {
2237	a.entry href=(parent_link(owner, repo, rev, path)) { span.icon { ".." } "up" }
2238	}
2239	}
2240	@for e in entries {
2241	@let child = join(&e.name);
2242	@let kind = if e.is_dir { "tree" } else { "blob" };
2243	div.row {
2244	a.entry href=(format!("/{owner}/{repo}/{kind}/{}/{child}", enc_ref(rev))) {
2245	(entry_icon(e.is_dir))
2246	(e.name) @if e.is_dir { "/" }
2247	}
2248	@if let Some(c) = latest.get(&e.name) {
2249	a.fc-msg href=(format!("/{owner}/{repo}/commit/{}", c.id)) title=(c.summary) { (c.summary) }
2250	span.fc-time title=(fmt_time(c.time)) { (fmt_relative(c.time)) }
2251	}
2252	}
2253	}
2254	}
2255	}
2256	}
2257
2258	fn parent_link(owner: &str, repo: &str, rev: &str, path: &str) -> String {
2259	match path.rsplit_once('/') {
2260	Some((parent, _)) => format!("/{owner}/{repo}/tree/{}/{parent}", enc_ref(rev)),
2261	None => format!("/{owner}/{repo}/tree/{}", enc_ref(rev)),
2262	}
2263	}
2264
2265	/// Path breadcrumbs. `is_blob` marks the final component as a file.
2266	fn breadcrumbs(owner: &str, repo: &str, rev: &str, path: &str, is_blob: bool) -> Markup {
2267	// Precompute (label, cumulative_path) for each path component.
2268	let mut crumbs: Vec<(String, String)> = Vec::new();
2269	let mut acc = String::new();
2270	for part in path.split('/').filter(\|p\| !p.is_empty()) {
2271	if !acc.is_empty() {
2272	acc.push('/');
2273	}
2274	acc.push_str(part);
2275	crumbs.push((part.to_string(), acc.clone()));
2276	}
2277	let last = crumbs.len();
2278	html! {
2279	div.crumbs {
2280	a href=(format!("/{owner}/{repo}/tree/{}", enc_ref(rev))) { (rev) }
2281	@for (i, (label, cum)) in crumbs.iter().enumerate() {
2282	" / "
2283	@if i + 1 == last && is_blob {
2284	span { (label) }
2285	} @else {
2286	a href=(format!("/{owner}/{repo}/tree/{}/{cum}", enc_ref(rev))) { (label) }
2287	}
2288	}
2289	}
2290	}
2291	}
2292
2293	/// `GET /{owner}/{repo}/commits/{rev}` — commit history.
2294	async fn commits(
2295	State(app): State<App>,
2296	CurrentUser(user): CurrentUser,
2297	Path((owner, repo, rev)): Path<(String, String, String)>,
2298	) -> Result<Markup, Response> {
2299	let (path, meta) = resolve_repo(&app, user.as_ref(), &owner, &repo).await?;
2300	let log = browse::commit_log(&path, &rev, 100).map_err(server_error)?;
2301
2302	// Map each commit oid to its latest run status, for inline badges. One query
2303	// for the repo's recent runs; first match wins (list is newest-first).
2304	let runs = ci::list_by_repo(&app.db, meta.id, 200)
2305	.await
2306	.unwrap_or_default();
2307	let mut status_of: HashMap<&str, &str> = HashMap::new();
2308	for r in &runs {
2309	status_of
2310	.entry(r.commit.as_str())
2311	.or_insert(r.status.as_str());
2312	}
2313
2314	Ok(layout(
2315	&format!("{owner}/{repo}: commits"),
2316	user.as_ref(),
2317	html! {
2318	h1 { a href=(format!("/{owner}/{repo}")) { (owner) "/" (repo) } " · commits" }
2319	ul.commit-list {
2320	@for c in &log {
2321	li {
2322	a.sha href=(format!("/{owner}/{repo}/commit/{}", c.id)) { (c.short) }
2323	@if let Some(st) = status_of.get(c.id.as_str()) {
2324	a href=(format!("/{owner}/{repo}/ci")) { (status_badge(st)) }
2325	}
2326	span { (c.summary) }
2327	span.muted style="margin-left:auto" {
2328	(c.author) " · "
2329	span title=(fmt_time(c.time)) { (fmt_relative(c.time)) }
2330	}
2331	}
2332	}
2333	}
2334	},
2335	))
2336	}
2337
2338	/// `GET /{owner}/{repo}/commit/{id}` — a commit with its diff.
2339	async fn commit(
2340	State(app): State<App>,
2341	CurrentUser(user): CurrentUser,
2342	Path((owner, repo, id)): Path<(String, String, String)>,
2343	) -> Result<Markup, Response> {
2344	let (path, _) = resolve_repo(&app, user.as_ref(), &owner, &repo).await?;
2345	let detail = browse::commit_detail(&path, &id).map_err(server_error)?;
2346	Ok(layout(
2347	&format!("{owner}/{repo}: {}", detail.info.short),
2348	user.as_ref(),
2349	html! {
2350	h1 { a href=(format!("/{owner}/{repo}")) { (owner) "/" (repo) } " · " span.sha { (detail.info.short) } }
2351	p { (detail.info.summary) }
2352	p.muted {
2353	(detail.info.author) " · " (fmt_time(detail.info.time)) " · "
2354	span.sha { (detail.info.id) }
2355	@if let Some(parent) = &detail.parent {
2356	" · parent " a.sha href=(format!("/{owner}/{repo}/commit/{parent}")) { (&parent[..parent.len().min(8)]) }
2357	}
2358	" · "
2359	a href=(format!("/{owner}/{repo}/tree/{}", detail.info.id)) { "browse files" }
2360	}
2361	@if detail.changes.is_empty() {
2362	p.muted { "No file changes." }
2363	}
2364	@for change in &detail.changes {
2365	(render_file_diff(change))
2366	}
2367	},
2368	))
2369	}
2370
2371	/// `GET /{owner}/{repo}/ci` — recent CI runs for the repository.
2372	async fn ci_runs(
2373	State(app): State<App>,
2374	CurrentUser(user): CurrentUser,
2375	Path((owner, repo)): Path<(String, String)>,
2376	) -> Result<Markup, Response> {
2377	let (_, meta) = resolve_repo(&app, user.as_ref(), &owner, &repo).await?;
2378	let runs = ci::list_by_repo(&app.db, meta.id, 100)
2379	.await
2380	.map_err(server_error)?;
2381	Ok(layout(
2382	&format!("{owner}/{repo}: CI"),
2383	user.as_ref(),
2384	html! {
2385	h1 { a href=(format!("/{owner}/{repo}")) { (owner) "/" (repo) } " · CI" }
2386	@if runs.is_empty() {
2387	p.muted {
2388	"No CI runs yet. Add a " code { ".anvil/ci.yml" }
2389	" pipeline and push to trigger one."
2390	}
2391	} @else {
2392	div.box {
2393	@for r in &runs {
2394	div.row {
2395	a.entry href=(format!("/{owner}/{repo}/ci/{}", r.id)) {
2396	(status_badge(&r.status))
2397	span.sha { (short_commit(&r.commit)) }
2398	span { (r.ref_name) }
2399	}
2400	span.muted { (fmt_time(r.created_at)) }
2401	}
2402	}
2403	}
2404	}
2405	},
2406	))
2407	}
2408
2409	/// `GET /{owner}/{repo}/ci/{id}` — one run's status, timing, and log output.
2410	async fn ci_run(
2411	State(app): State<App>,
2412	CurrentUser(user): CurrentUser,
2413	Path((owner, repo, id)): Path<(String, String, i64)>,
2414	) -> Result<Markup, Response> {
2415	let (_, meta) = resolve_repo(&app, user.as_ref(), &owner, &repo).await?;
2416	let run = ci::get(&app.db, id)
2417	.await
2418	.map_err(server_error)?
2419	.filter(\|r\| r.repo_id == meta.id)
2420	.ok_or_else(\|\| not_found("no such CI run"))?;
2421	let artifacts = ci::artifacts_for_run(&app.db, run.id)
2422	.await
2423	.map_err(server_error)?;
2424	Ok(layout(
2425	&format!("{owner}/{repo}: CI #{}", run.id),
2426	user.as_ref(),
2427	html! {
2428	h1 {
2429	a href=(format!("/{owner}/{repo}")) { (owner) "/" (repo) }
2430	" · " a href=(format!("/{owner}/{repo}/ci")) { "CI" }
2431	" · #" (run.id)
2432	}
2433	p {
2434	(status_badge(&run.status))
2435	" "
2436	a.sha href=(format!("/{owner}/{repo}/commit/{}", run.commit)) { (short_commit(&run.commit)) }
2437	" " span.muted { (run.ref_name) }
2438	}
2439	p.muted {
2440	"queued " (fmt_time(run.created_at))
2441	@if run.started_at > 0 { " · started " (fmt_time(run.started_at)) }
2442	@if run.finished_at > 0 { " · finished " (fmt_time(run.finished_at)) }
2443	@if let Some(d) = run_duration(&run) { " · took " (d) }
2444	}
2445	@if !artifacts.is_empty() {
2446	h2 { "Artifacts" }
2447	div.box {
2448	@for a in &artifacts {
2449	div.row {
2450	a.entry href=(format!("/{owner}/{repo}/ci/{}/artifacts/{}", run.id, a.name)) {
2451	(entry_icon(a.is_dir))
2452	(a.name)
2453	@if a.browse { " " span.pill { "site" } }
2454	@else if a.is_dir { ".tar.gz" }
2455	}
2456	span.muted {
2457	(artifact_meta_chips(&a.meta))
2458	(fmt_size(a.size))
2459	}
2460	}
2461	}
2462	}
2463	}
2464	@if run.log.is_empty() {
2465	p.muted { "No output yet." }
2466	} @else {
2467	pre.log { (run.log) }
2468	}
2469	},
2470	))
2471	}
2472
2473	/// Render an artifact's extractor metadata (a JSON object of key → value) as
2474	/// inline `key: value` chips before the size.
2475	fn artifact_meta_chips(meta: &str) -> Markup {
2476	let map: BTreeMap<String, String> = serde_json::from_str(meta).unwrap_or_default();
2477	html! {
2478	@for (k, v) in &map {
2479	span.pill title=(k) { (k) ": " (v) }
2480	" "
2481	}
2482	}
2483	}
2484
2485	/// A coloured status pill for a CI run status string.
2486	fn status_badge(status: &str) -> Markup {
2487	html! { span class=(format!("st {status}")) { (status) } }
2488	}
2489
2490	/// First 8 hex chars of a commit oid (for compact display).
2491	fn short_commit(commit: &str) -> &str {
2492	&commit[..commit.len().min(8)]
2493	}
2494
2495	/// Wall-clock run duration (`started`→`finished`) as a short string, if known.
2496	fn run_duration(run: &CiRun) -> Option<String> {
2497	if run.started_at > 0 && run.finished_at >= run.started_at {
2498	Some(format!("{}s", run.finished_at - run.started_at))
2499	} else {
2500	None
2501	}
2502	}
2503
2504	/// Render one file's diff (added/deleted/modified) as a unified line diff.
2505	/// A file diff bigger than this many rows starts collapsed (its header still
2506	/// shows the +/− counts; clicking expands it — native `details`, no JS).
2507	const DIFF_COLLAPSE_ROWS: usize = 400;
2508
2509	fn render_file_diff(change: &FileChange) -> Markup {
2510	let (badge_cls, badge) = match change.kind {
2511	ChangeKind::Added => ("add", "added"),
2512	ChangeKind::Deleted => ("del", "deleted"),
2513	ChangeKind::Modified => ("mod", "modified"),
2514	};
2515	let head = \|stat: Markup\| {
2516	html! {
2517	summary.head {
2518	span class=(format!("badge {badge_cls}")) { (badge) }
2519	span { (change.path) }
2520	span.stat { (stat) }
2521	}
2522	}
2523	};
2524
2525	let binary = change.old.as_deref().is_some_and(is_binary)
2526	\|\| change.new.as_deref().is_some_and(is_binary);
2527	if binary {
2528	return html! {
2529	details.file-diff open {
2530	(head(html! { span.muted { "binary" } }))
2531	div.box { div.row { span.muted { "Binary file" } } }
2532	}
2533	};
2534	}
2535
2536	let old = change
2537	.old
2538	.as_deref()
2539	.map(\|b\| String::from_utf8_lossy(b).into_owned())
2540	.unwrap_or_default();
2541	let new = change
2542	.new
2543	.as_deref()
2544	.map(\|b\| String::from_utf8_lossy(b).into_owned())
2545	.unwrap_or_default();
2546	let diff = TextDiff::from_lines(&old, &new);
2547	let (mut adds, mut dels) = (0usize, 0usize);
2548	for c in diff.iter_all_changes() {
2549	match c.tag() {
2550	ChangeTag::Insert => adds += 1,
2551	ChangeTag::Delete => dels += 1,
2552	ChangeTag::Equal => {}
2553	}
2554	}
2555	// Hunks: changed lines plus 3 lines of context, not the whole file.
2556	let groups = diff.grouped_ops(3);
2557	let rendered_rows: usize = groups
2558	.iter()
2559	.flatten()
2560	.map(\|op\| diff.iter_changes(op).count())
2561	.sum();
2562
2563	html! {
2564	details.file-diff open[rendered_rows <= DIFF_COLLAPSE_ROWS] {
2565	(head(html! { span.plus { "+" (adds) } " " span.minus { "−" (dels) } }))
2566	(diff_table(&diff, &groups, old.lines().count()))
2567	}
2568	}
2569	}
2570
2571	/// Render grouped diff hunks as a table: old/new line numbers, a +/- sign
2572	/// column, and the line. Elided stretches show a "⋯ N unchanged lines" row
2573	/// (including before the first hunk and after the last).
2574	fn diff_table<'a>(
2575	diff: &TextDiff<'a, 'a, '_, str>,
2576	groups: &[Vec<similar::DiffOp>],
2577	old_total: usize,
2578	) -> Markup {
2579	let gap_row = \|n: usize\| {
2580	html! {
2581	@if n > 0 {
2582	tr.gap { td colspan="4" { "⋯ " (n) " unchanged line" @if n != 1 { "s" } } }
2583	}
2584	}
2585	};
2586	// Unchanged-line gap before each group, and after the last one.
2587	let mut prev_end = 0usize; // end of the previous group, in old-file lines
2588	let mut with_gaps = Vec::with_capacity(groups.len());
2589	for group in groups {
2590	let start = group.first().map_or(prev_end, \|op\| op.old_range().start);
2591	with_gaps.push((start.saturating_sub(prev_end), group));
2592	prev_end = group.last().map_or(prev_end, \|op\| op.old_range().end);
2593	}
2594	let trailing = old_total.saturating_sub(prev_end);
2595
2596	html! {
2597	table.code.diff {
2598	@for (gap, group) in &with_gaps {
2599	(gap_row(*gap))
2600	@for op in group.iter() {
2601	@for change in diff.iter_changes(op) {
2602	@let (sign, cls) = match change.tag() {
2603	ChangeTag::Delete => ("-", "del"),
2604	ChangeTag::Insert => ("+", "ins"),
2605	ChangeTag::Equal => (" ", ""),
2606	};
2607	tr class=(cls) {
2608	td.ln { @if let Some(i) = change.old_index() { (i + 1) } }
2609	td.ln { @if let Some(i) = change.new_index() { (i + 1) } }
2610	td.sign { (sign) }
2611	td { (change.value().trim_end_matches('\n')) }
2612	}
2613	}
2614	}
2615	}
2616	(gap_row(trailing))
2617	}
2618	}
2619	}
2620
2621	/// Lazily-loaded syntax set and theme (pure-Rust fancy-regex backend).
2622	fn highlighter() -> &'static (SyntaxSet, Theme) {
2623	static HL: OnceLock<(SyntaxSet, Theme)> = OnceLock::new();
2624	HL.get_or_init(\|\| {
2625	let syntaxes = SyntaxSet::load_defaults_newlines();
2626	let themes = ThemeSet::load_defaults();
2627	let theme = themes
2628	.themes
2629	.get("Monokai Extended")
2630	.or_else(\|\| themes.themes.get("Solarized (dark)"))
2631	.or_else(\|\| themes.themes.values().next())
2632	.cloned()
2633	.expect("at least one default theme");
2634	(syntaxes, theme)
2635	})
2636	}
2637
2638	/// [`highlight`] through a byte-budgeted LRU keyed by blob oid + extension: a
2639	/// blob's rendered HTML is immutable for its object id (the extension is part
2640	/// of the key because it picks the syntax), so each file is highlighted once
2641	/// rather than once per request — highlighting large files is by far the most
2642	/// expensive thing a page view can do. The budget is
2643	/// `http.highlight_cache_mb`; `0` bypasses the cache entirely (for
2644	/// RAM-constrained hosts). Concurrent misses may both compute and the last
2645	/// insert wins; that's benign.
2646	fn cached_highlight(budget_bytes: usize, oid: &str, path: &str, text: &str) -> Arc<Vec<String>> {
2647	if budget_bytes == 0 {
2648	return Arc::new(highlight(path, text));
2649	}
2650	struct Cache {
2651	lru: lru::LruCache<String, Arc<Vec<String>>>,
2652	bytes: usize,
2653	}
2654	fn cost(key: &str, lines: &[String]) -> usize {
2655	key.len() + lines.iter().map(String::len).sum::<usize>()
2656	}
2657	static CACHE: OnceLock<Mutex<Cache>> = OnceLock::new();
2658	let cache = CACHE.get_or_init(\|\| {
2659	Mutex::new(Cache {
2660	lru: lru::LruCache::unbounded(),
2661	bytes: 0,
2662	})
2663	});
2664
2665	let ext = std::path::Path::new(path)
2666	.extension()
2667	.and_then(\|e\| e.to_str())
2668	.unwrap_or("");
2669	let key = format!("{oid}\x00{ext}");
2670	if let Some(hit) = cache.lock().expect("cache lock").lru.get(&key) {
2671	return hit.clone();
2672	}
2673
2674	let lines = Arc::new(highlight(path, text));
2675	let mut c = cache.lock().expect("cache lock");
2676	c.bytes += cost(&key, &lines);
2677	if let Some(old) = c.lru.put(key.clone(), Arc::clone(&lines)) {
2678	c.bytes -= cost(&key, &old); // concurrent miss inserted it first
2679	}
2680	// Evict oldest entries until we're back under budget. An entry larger than
2681	// the whole budget evicts itself — memory stays bounded, it just never caches.
2682	while c.bytes > budget_bytes {
2683	let Some((k, v)) = c.lru.pop_lru() else { break };
2684	c.bytes -= cost(&k, &v);
2685	}
2686	lines
2687	}
2688
2689	/// Syntax-highlight `text` (chosen by file extension), returning per-line HTML.
2690	/// Falls back to escaped plain text for large files or on any failure.
2691	fn highlight(path: &str, text: &str) -> Vec<String> {
2692	if text.len() > 512 * 1024 {
2693	return text.lines().map(escape).collect();
2694	}
2695	let (syntaxes, theme) = highlighter();
2696	let syntax = std::path::Path::new(path)
2697	.extension()
2698	.and_then(\|e\| e.to_str())
2699	.and_then(\|ext\| syntaxes.find_syntax_by_extension(ext))
2700	.or_else(\|\| syntaxes.find_syntax_by_first_line(text.lines().next().unwrap_or("")))
2701	.unwrap_or_else(\|\| syntaxes.find_syntax_plain_text());
2702
2703	let mut h = HighlightLines::new(syntax, theme);
2704	text.lines()
2705	.map(\|line\| match h.highlight_line(line, syntaxes) {
2706	Ok(ranges) => styled_line_to_highlighted_html(&ranges, IncludeBackground::No)
2707	.unwrap_or_else(\|_\| escape(line)),
2708	Err(_) => escape(line),
2709	})
2710	.collect()
2711	}
2712
2713	fn escape(s: &str) -> String {
2714	s.replace('&', "&")
2715	.replace('<', "<")
2716	.replace('>', ">")
2717	}
2718
2719	/// Format a Unix timestamp as `YYYY-MM-DD HH:MM UTC`.
2720	pub(crate) fn fmt_time(secs: i64) -> String {
2721	match OffsetDateTime::from_unix_timestamp(secs) {
2722	Ok(t) => format!(
2723	"{:04}-{:02}-{:02} {:02}:{:02} UTC",
2724	t.year(),
2725	u8::from(t.month()),
2726	t.day(),
2727	t.hour(),
2728	t.minute()
2729	),
2730	Err(_) => secs.to_string(),
2731	}
2732	}
2733
2734	/// Format a Unix timestamp relative to now (`2 hours ago`, `last month`).
2735	pub(crate) fn fmt_relative(secs: i64) -> String {
2736	relative_to(secs, OffsetDateTime::now_utc().unix_timestamp())
2737	}
2738
2739	fn relative_to(secs: i64, now: i64) -> String {
2740	fn ago(n: i64, one: &str, unit: &str) -> String {
2741	if n == 1 {
2742	one.to_string()
2743	} else {
2744	format!("{n} {unit}s ago")
2745	}
2746	}
2747	let delta = now - secs;
2748	if delta < 60 {
2749	return "just now".to_string();
2750	}
2751	let minutes = delta / 60;
2752	if minutes < 60 {
2753	return ago(minutes, "1 minute ago", "minute");
2754	}
2755	let hours = delta / 3600;
2756	if hours < 24 {
2757	return ago(hours, "1 hour ago", "hour");
2758	}
2759	let days = delta / 86_400;
2760	if days < 7 {
2761	return ago(days, "yesterday", "day");
2762	}
2763	let weeks = days / 7;
2764	if weeks < 5 {
2765	return ago(weeks, "last week", "week");
2766	}
2767	let months = days / 30;
2768	if months < 12 {
2769	return ago(months, "last month", "month");
2770	}
2771	ago(days / 365, "last year", "year")
2772	}
2773
2774	/// Heuristic: treat content with a NUL in the first 8 KiB as binary.
2775	fn is_binary(bytes: &[u8]) -> bool {
2776	bytes.iter().take(8192).any(\|&b\| b == 0)
2777	}
2778
2779	#[cfg(test)]
2780	mod tests {
2781	use super::*;
2782
2783	#[test]
2784	fn markdown_by_extension_only() {
2785	assert!(is_markdown("README.md"));
2786	assert!(is_markdown("docs/guide.MarkDown"));
2787	assert!(!is_markdown("main.rs"));
2788	assert!(!is_markdown("md")); // no extension
2789	}
2790
2791	// Repo content is untrusted; rendered markdown must not become stored XSS.
2792	#[test]
2793	fn rendered_markdown_neutralizes_html_and_script_urls() {
2794	let out = render_markdown(
2795	"# title\n\n<script>alert(1)</script>\n\n[x](javascript:alert(1))\n\n![y](data:text/html,evil)\n\n[ok](https://example.com)\n",
2796	)
2797	.into_string();
2798	assert!(out.contains("<h1>title</h1>"), "markdown renders: {out}");
2799	assert!(!out.contains("<script>"), "raw HTML escaped: {out}");
2800	assert!(
2801	out.contains("<script>"),
2802	"raw HTML kept as text: {out}"
2803	);
2804	assert!(!out.contains("javascript:"), "script URL dropped: {out}");
2805	assert!(!out.contains("data:"), "data URL dropped: {out}");
2806	assert!(
2807	out.contains(r#"href="https://example.com""#),
2808	"normal links survive: {out}"
2809	);
2810	}
2811
2812	#[test]
2813	fn relative_time_buckets() {
2814	const NOW: i64 = 1_000_000_000;
2815	let at = \|delta: i64\| relative_to(NOW - delta, NOW);
2816	assert_eq!(at(0), "just now");
2817	assert_eq!(at(59), "just now");
2818	assert_eq!(at(60), "1 minute ago");
2819	assert_eq!(at(45 * 60), "45 minutes ago");
2820	assert_eq!(at(3600), "1 hour ago");
2821	assert_eq!(at(23 * 3600), "23 hours ago");
2822	assert_eq!(at(86_400), "yesterday");
2823	assert_eq!(at(3 * 86_400), "3 days ago");
2824	assert_eq!(at(8 * 86_400), "last week");
2825	assert_eq!(at(20 * 86_400), "2 weeks ago");
2826	assert_eq!(at(40 * 86_400), "last month");
2827	assert_eq!(at(200 * 86_400), "6 months ago");
2828	assert_eq!(at(400 * 86_400), "last year");
2829	assert_eq!(at(900 * 86_400), "2 years ago");
2830	}
2831	}