Skip to content

Commit

Permalink
fix: re-stage the git hook formatted files - doh (#11430)
Browse files Browse the repository at this point in the history
Forgot to re-stage the formatted files...
  • Loading branch information
iAmMichaelConnor authored Jan 22, 2025
1 parent 436c3c6 commit 02e6529
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions noir-projects/precommit.sh
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,11 @@ if [[ -n "$staged_nr_files" ]]; then
done

echo "Formatting completed."

# Re-stage formatted .nr files
echo "Re-staging formatted .nr files..."
repo_root=$(git rev-parse --show-toplevel)
echo "$staged_nr_files" | xargs -I {} git add "$repo_root/{}"
fi

# We just don't say anything if there are no staged nr files, because no one cares.

0 comments on commit 02e6529

Please sign in to comment.