* [PATCH] TODO: add a few more items around coderepos
@ 2019-10-17 9:52 Eric Wong
0 siblings, 0 replies; only message in thread
From: Eric Wong @ 2019-10-17 9:52 UTC (permalink / raw)
To: meta
Going where no email client/tool has gone before...
---
TODO | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/TODO b/TODO
index 5abef185..a327ca06 100644
--- a/TODO
+++ b/TODO
@@ -123,3 +123,13 @@ all need to be considered for everything we introduce)
* pygments support - via Python script similar to `git cat-file --batch'
to avoid startup penalty. pygments.rb (Ruby) can be inspiration, too.
+
+* highlighting + linkification for "git format-patch --interdiff" output
+
+* highlighting + linkification for "git format-patch --range-diff" output
+ (requires mirroring of git repos)
+
+* parse and allow (semi)automatic-mirroring of "git request-pull" output
+ for coderepos
+
+* configurable diff output for solver-generated blobs
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2019-10-17 9:52 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-10-17 9:52 [PATCH] TODO: add a few more items around coderepos Eric Wong
Code repositories for project(s) associated with this public inbox
https://80x24.org/public-inbox.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).