Skip to content

Conversation

@pierreay
Copy link
Contributor

Add a new option --no-follow-hidden for git-bulk to not traverse hidden directories (containing a dot at the beginning) under the workspace directories when searching for git repositories. This PR does not change the default behavior, it only adds the option for the user.

Note that on the implementation, I did not changed the way find is searching for directories. Instead, I checked using a regex before performing the operation if we are under a hidden directory. This was the easiest way I found.

@pierreay pierreay marked this pull request as ready for review February 17, 2025 06:35
Copy link
Collaborator

@hyperupcall hyperupcall left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! Feature is good. Had a question about implementation

Pierre Ayoub and others added 6 commits February 27, 2025 16:47
@pierreay pierreay force-pushed the feat/git-bulk-no-follow-hidden branch from cc083e9 to 8121c97 Compare February 27, 2025 15:55
@pierreay pierreay requested a review from hyperupcall February 27, 2025 15:56
@pierreay
Copy link
Contributor Author

pierreay commented Feb 27, 2025

Fixed the implementation as requested and rebased on main ;) @hyperupcall

Copy link
Collaborator

@hyperupcall hyperupcall left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@hyperupcall hyperupcall requested a review from spacewander March 1, 2025 03:36
Copy link
Collaborator

@spacewander spacewander left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@pierreay
Do we need to update the completion script?

@pierreay
Copy link
Contributor Author

pierreay commented Mar 4, 2025

@pierreay Do we need to update the completion script?

@spacewander Actually, I did it on a local branch, but not merged into the branch of the PR...sorry! And I forgot the completion in the same way for the already merged #1194... So I cherry-picked the right commit for the two PRs (this one and the mentioned one) at the same time. ;)

@spacewander spacewander merged commit 18d1017 into tj:main Mar 5, 2025
5 checks passed
@spacewander
Copy link
Collaborator

@pierreay
Thanks!

@pierreay pierreay deleted the feat/git-bulk-no-follow-hidden branch March 5, 2025 06:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants