diff.git: Add a show-path-prefix option to disable a/ and b/ prefixes#9231
diff.git: Add a show-path-prefix option to disable a/ and b/ prefixes#9231jonmeow merged 1 commit intojj-vcs:mainfrom
Conversation
|
Please put all of that in the commit description to adhere to our style thanks. Also moves the fixes line into to it per our conventions. |
jonmeow
left a comment
There was a problem hiding this comment.
Please put all of that in the commit description to adhere to our style thanks. Also moves the fixes line into to it per our conventions.
Fixed. Thanks for pointing that out.
|
With the new setting name change, could you also update the commit description and PR title and description? |
Thanks, now my last minor thing is that you dropped the |
Should be updated now
Re-added. Not sure if it's worth noting, but in this case I wasn't using an agent [ed: for coding], just tab completion -- but to avoid ambiguities, I'm happy to just add it if I'm using an AI-assisted IDE at all. |
OK, then you can drop it or keep it w/e you prefer. I assume it was initially added because you have a similar config as https://github.com/carbon-language/carbon-lang/blob/5b7c908e8b92e53328337892c5368a13abec505f/docs/project/contribution_tools.md#jujutsu-jj? |
Yes, exactly. :) I'm fine keeping it, Carbon's own process is noted at https://github.com/carbon-language/carbon-lang/blob/trunk/CONTRIBUTING.md#using-ai-based-contribution-tools. "largely derived from AI-based tooling" is a pretty subjective bar, and I find it easier to err on the side of marking it as long as I use AI tooling at all. |
josephlou5
left a comment
There was a problem hiding this comment.
LGTM, but still needs a review from a maintainer.
|
Just to note, Martin's tried adding me to contributors a couple times and (probably) Google automation keeps kicking me out (I'm leaving Google, my account is recently unlinked). I'll keep trying but may not be able to merge myself pending resolution. :) |
If you need it and you no longer want to fight the automation, either I, Joseph or Yuya can land it for you. |
|
I just invited you to jj-vcs/contributors again. Feel free to accept it now or later, whichever you think makes you less likely to get automatically kicked out again, perhaps :) Also feel free to let us know you prefer that we merge it for now. |
Adding this based on the feature request in jj-vcs#9102. There's a question there of whether a convenience flag would be helpful (presumably something like `--git-show-path-prefix`. This PR isn't adding that because I thought `--config=diff.git.show-path-prefix=<value>` might be good enough; i.e., maybe flipping back and forth won't be a common operation and so keeping the `jj diff` options smaller would be better. Fixes jj-vcs#9102 Assisted-by: Google Antigravity with Gemini Assisted-by: My AI Tool
Adding this based on the feature request in #9102.
There's a question there of whether a convenience flag would be helpful (presumably something like
--git-path-prefix. This PR isn't adding that because I thought--config=diff.git.show-path-prefix=<value>might be good enough; i.e., maybe flipping back and forth won't be a common operation and so keeping thejj diffoptions smaller would be better.Fixes #9102