feat(reuse): Switch to an action rather than a git hook, to be less cumbersome #262
No reviewers
Labels
No labels
awaiting
awaiting-author
awaiting
awaiting-reviewer
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: DGNum/infrastructure#262
Loading…
Reference in a new issue
No description provided.
Delete branch "reuse"
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?
Fixes #232
6aa457c8e3
to44997e3b2c
44997e3b2c
to23ee7907e2
imho pas sûr que ce soit la meilleure chose. On risque de se retrouver avec beaucoup de commit de fix pour comply
Du coup pour résoudre ton pb, il faut que tu rajoutes ton répertoire de scripts custom dans le .gitignore
On peut pas demander au hook de s’exécuter dans un tmpdir qui correspond à ce qui va être effectivement poussé ?
Je suis d'avis de fermer cette PR. DGNum/nix-reuse#1 est une meilleure solution
Pull request closed