Skip to content
This repository has been archived by the owner on Sep 13, 2022. It is now read-only.

pre-commit hook #30

Open
roed314 opened this issue Sep 5, 2013 · 0 comments
Open

pre-commit hook #30

roed314 opened this issue Sep 5, 2013 · 0 comments

Comments

@roed314
Copy link
Contributor

roed314 commented Sep 5, 2013

Currently we have a bash script in the src/sage/dev directory that implements a pre-comit hook. We should make sure it's tested and does what it should, make sure the user is adequately informed, and have the dev scripts activate it on first use.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@roed314