Skip to content

Remove dummy hook#1873

Merged
upsj merged 1 commit into
developfrom
remove_dummy_hook
Jun 23, 2025
Merged

Remove dummy hook#1873
upsj merged 1 commit into
developfrom
remove_dummy_hook

Conversation

@upsj

@upsj upsj commented Jun 21, 2025

Copy link
Copy Markdown
Member

I feel like we are being overly annoying with this hook, and should rather rely on our automation notifying us about formatting issues. Also there were issues like #1856 that can pop up in more complex directory structures, e.g. when Ginkgo itself is provided from a non-git directory

Closes #1856

@upsj upsj requested a review from a team June 21, 2025 07:11
@upsj upsj self-assigned this Jun 21, 2025
@ginkgo-bot ginkgo-bot added the reg:build This is related to the build system. label Jun 21, 2025
@upsj upsj added the 1:ST:ready-to-merge This PR is ready to merge. label Jun 23, 2025
@upsj upsj merged commit b33a76e into develop Jun 23, 2025
16 of 18 checks passed
@upsj upsj deleted the remove_dummy_hook branch June 23, 2025 09:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

1:ST:ready-to-merge This PR is ready to merge. reg:build This is related to the build system.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

issue with dummy-hook

4 participants