Willy Tarreau 0ed6d1f840 DEV: patchbot: let the page save the review edits to the server ... This is the write side of the review syncing: a "Save changes" button next to "Get updates" collects the local edits and pushes them to update.cgi. An edit is a radio button change differing from the reference state (so clicking around and coming back to the reference sends nothing), or a note typed in the per-line input revealed by the new "[add note]" link under the AI explanation (500 chars max, matching the server-side cap). No directive carries a base value: states are last-write-wins and notes are append-only server-side, so two reviewers saving concurrently cannot conflict. On success the reference advances to the pushed values and the note inputs are cleared, so the page is clean without needing a refetch; on error (server busy or unreachable) everything stays local and a later click simply retries.		2026-07-07 14:45:19 +02:00
..
post-ai.sh	DEV: patchbot: let the page save the review edits to the server	2026-07-07 14:45:19 +02:00
process-patch-v15.sh	DEV: patchbot: produce a verdict for too long commit messages	2024-01-09 14:46:04 +01:00
submit-ai.sh	DEV: patchbot: add the AI-based bot to pre-select candidate patches to backport	2023-12-18 20:50:51 +01:00
update-3.0.sh	DEV: patchbot: pass the branch version to the generated page	2026-07-07 10:58:38 +02:00