Supprimer une branche distante ne rejoue plus toute la porte #20
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "fix/pre-push-suppression"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Le hook lançait
pnpm checkavant même de lire ce qui part. Or unesuppression n'envoie aucun commit : deux minutes de lint, types et tests
pour retirer une référence. L'étape gitleaks sautait déjà les suppressions —
la moitié du raisonnement était là, mais après le coûteux.
Le hook lit maintenant les références AVANT tout le reste, et sort vert si
rien ne part. stdin ne se relit pas : il est gardé dans une variable et
rejoué aux deux étapes.
Une porte qu'on paie pour rien est une porte qu'on finit par contourner avec
--no-verify, et ce jour-là elle ne garde plus rien.Reporté depuis
eqs-platform, où la mesure a été faite : 90 secondes parsuppression, 2 après.
Co-Authored-By: Claude Opus 5 noreply@anthropic.com