Skip to content

Conversation

@ssoriche
Copy link
Contributor

@ssoriche ssoriche commented May 4, 2025

If there's nothing to update, don't do the git reset, which is costly.

If there's nothing to update, don't do the git reset, which is costly.
@mickeyn mickeyn merged commit 90d6fff into main May 4, 2025
@mickeyn mickeyn deleted the ssoriche/grep branch May 4, 2025 13:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

4 participants