git: Add support for repository excludes file#42082
git: Add support for repository excludes file#42082cole-miller merged 8 commits intozed-industries:mainfrom
Conversation
215bf02 to
7b35c58
Compare
7b35c58 to
85eac99
Compare
d0638e4 to
0950f1c
Compare
52d34a8 to
2333c0b
Compare
|
@cole-miller ready for review :) |
cole-miller
left a comment
There was a problem hiding this comment.
Thank you! This looks really good, I just have one minor comment.
|
Thanks! I tried running this locally and it looks like changes to |
I see, from my manual tests it seemed to work. Can you tell me how you debug the ignore statuses in Zed? I'll check how
I think the test could be a bit clearer, but |
|
I tested by cloning the https://github.com/agentclientprotocol/agent-client-protocol repo, adding
Then I did
My mistake, thanks for pointing that out--seems like the test is correct then, I'm sort of surprised it does since it seems like the code for recomputing ignore statuses when |
2d89060 to
e411012
Compare
|
I realized that I only tested this for untracked files before and weirdly even that didn't seem to work properly, my bad. I've added updates and it seems to work fine now, tested it on agent-client-protocol repository. Here's the before/after: screen-recording-repo-exclude.mov
Hmm, I'm not sure about that either. |
|
Hey @errmayank just following up to let you know the team went pretty deep in more git feature work and we got behind on PR reviews. We're ramping back up and appreciate the patience! 👍 |
|
@esthertrapadoux no worries at all, thanks for letting me know! :) |
4d14d48 to
be72707
Compare
be72707 to
2ff243a
Compare
|
Thanks @errmayank! |
|
I'm not sure why For @cameron1024 as well it failed locally during our pairing session. |
Head branch was pushed to by a user without write access
2ff243a to
250c360
Compare
be7f92d to
5b25440
Compare
|
Sorry about that flaky test failure! I'll try to figure out what's going on with it and get this merged. |
|
Thanks! |
Co-authored-by: Cole Miller <cole@zed.dev>
Closes #4824 Release Notes: - Added support for Git repository excludes file `.git/info/exclude` --------- Co-authored-by: Cole Miller <m@cole-miller.net> Co-authored-by: Cole Miller <cole@zed.dev>
Closes zed-industries#4824 Release Notes: - Added support for Git repository excludes file `.git/info/exclude` --------- Co-authored-by: Cole Miller <m@cole-miller.net> Co-authored-by: Cole Miller <cole@zed.dev>
Closes zed-industries#4824 Release Notes: - Added support for Git repository excludes file `.git/info/exclude` --------- Co-authored-by: Cole Miller <m@cole-miller.net> Co-authored-by: Cole Miller <cole@zed.dev>
Closes zed-industries#4824 Release Notes: - Added support for Git repository excludes file `.git/info/exclude` --------- Co-authored-by: Cole Miller <m@cole-miller.net> Co-authored-by: Cole Miller <cole@zed.dev>

Closes #4824
Release Notes:
.git/info/exclude