aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoralexpdp7 <alex@pdp7.net>2026-01-23 19:27:04 +0100
committeralexpdp7 <alex@corcoles.net>2026-01-23 18:27:30 +0000
commit6d184282cdf9598088be0a9de619a207b6c3aeec (patch)
tree4c869ad4d4fd4aa8d36570581dbd08eb495e928f
parent47f97ef578023ee93be05e609aa030e321679928 (diff)
Add code review tool
-rw-r--r--IDEAS.org6
1 files changed, 6 insertions, 0 deletions
diff --git a/IDEAS.org b/IDEAS.org
index 17815521..891ad592 100644
--- a/IDEAS.org
+++ b/IDEAS.org
@@ -131,6 +131,12 @@ The mirror requests /foo to httpd, which returns the gemtext.
- Could start with just pdf.js sharing and document location synchronization
* Tool to replace all text files in a repository with a link, to migrate from a Git forge to another place without breaking links
+* Code review tool
+
+- It runs automatic validation on unchecked commits continuously, adding git notes with the result
+- Provides a UI to approve individual commits
+- For validated *and* approved commits, it implements a merge queue that works on a per-commit basis.
+
* Typing database
- A database of keyboard layouts.