Skip to content

Conversation

@doudou
Copy link
Member

@doudou doudou commented Aug 22, 2025

This generates an error later

@doudou doudou requested review from g-arjones and jhonasiv August 22, 2025 20:40
@g-arjones
Copy link
Contributor

Hmm... I fixed this a while ago, must have got lost somehow.

@g-arjones
Copy link
Contributor

Rubocop!

@doudou doudou force-pushed the git_global_shallow branch from f5190fa to ce6ee78 Compare September 3, 2025 16:08
@doudou doudou merged commit dfa61d9 into master Nov 25, 2025
7 checks passed
@doudou doudou deleted the git_global_shallow branch November 25, 2025 19:15
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.

4 participants