diff options
| author | Teddy Wing | 2018-12-01 13:29:51 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-12-01 13:29:51 +0100 |
| commit | f6851df721aba099149d0555bf0333a28e0df211 (patch) | |
| tree | 9ec8eae8a84697797a34422cd9860115a23c765b | |
| parent | b6575d8ac5b24f0a96416413f52f305325c21a54 (diff) | |
| download | code-review-f6851df721aba099149d0555bf0333a28e0df211.tar.bz2 | |
Add a new interface idea
| -rw-r--r-- | Vesey ideas.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Vesey ideas.txt b/Vesey ideas.txt index 6f64dea..c1d8a39 100644 --- a/Vesey ideas.txt +++ b/Vesey ideas.txt @@ -34,3 +34,10 @@ $ git diff-pr $ github-write-pr-comments > Write comments from PR as comment lines in source files > Cache comments separately from source files. System for adding updates. + + +$ review start 54 +$ review diff +$ review load-comments +$ review [end/finish/stop] + > Removes worktree |