Tell contributors (and copilot) about the pre-commit hooks

.github/copilot-instructions.md

@@ -32,6 +32,7 @@ abstract generality. Python 3.12 is the standard environment.
 * Bugsink uses Tailwind via `django-tailwind`
 * Before committing, build the CSS and add it:
   `python manage.py tailwind build && git add theme/static/css/dist/styles.css`
+  (this is done automatically if you use the pre-commit hook from the repo root)
 
 ##### Other
 

.github/workflows/copilot-setup-steps.yml

@@ -24,6 +24,10 @@ jobs:
       - name: Check out code
         uses: actions/checkout@v4
 
+      - name: Install project `pre-commit` hook
+        run: |
+          cp pre-commit .git/hooks/pre-commit
+
       - name: Set up Python 3.12
         uses: actions/setup-python@v5
         with:

CONTRIBUTING.md

@@ -40,6 +40,8 @@ python manage.py tailwind build
 git add theme/static/css/dist/styles.css
 ```
 
+The pre-commit hook in the project's root does this automatically if needed, copy it to .git/hooks
+to auto-run.
 
 ### Security