Managing the CRs comments in the dune project #11627
mbarbin
started this conversation in
Show and tell
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I'm working on a tool named crs to manage code review comments embedded in source code using the CRs syntax from Iron. Out of curiosity I grepped the CRs in the dune project, at a recent revision.
Here is the result of my search:
Looks like a few unresolved comments (I haven't looked carefully into the invalid ones, I just saw a few that looks like "CR-user").
I wanted to ask whether you'd have some ideas for features that would be useful to add to
crs
. In the project's doc I mentioned ideas of using it in CIs, as well as ergonomic helpers to perform bulk edit actions such as stripping CRs entirely, renaming usernames, etc. Don't hesitate to let me know if you have an interest for this tool! Thanks.Beta Was this translation helpful? Give feedback.
All reactions