fix: replace bare except with Exception in SyncOntology.__eq__

- Fix ruff E722 error: bare except not allowed
- Update repo-memory.md to emphasize running ruff before pushing
- Add mandatory pre-push workflow matching GitHub Actions CI
- Document that CI runs 'ruff check' without --fix flag

Author: Demirrr

.copilot/repo-memory.md

@@ -42,26 +42,45 @@ conda activate temp_owlapy && coverage report -m
 
 ## Pull Request Workflow
 
-**CRITICAL: Always run tests BEFORE creating a pull request!**
+**CRITICAL: Always run linter AND tests BEFORE pushing code or creating a pull request!**
 
-### Pre-PR Checklist
-1. ✅ Run linter and fix issues:
+### Pre-PR Checklist (MANDATORY)
+
+Follow this exact sequence before pushing to GitHub:
+
+1. ✅ **Activate conda environment**:
+   ```bash
+   conda activate temp_owlapy
+   ```
+
+2. ✅ **Run ruff linter** (matches GitHub Actions CI):
    ```bash
    ruff check owlapy --line-length=200 --fix --unsafe-fixes
    ```
+   **Must show 0 errors** before proceeding!
+   
+   **Note**: CI runs `ruff check owlapy --line-length=200` (without `--fix`). 
+   Use `--fix --unsafe-fixes` locally to auto-fix issues before pushing.
 
-2. ✅ Run full test suite (excluding EBR):
+3. ✅ **Run full test suite** (excluding EBR):
    ```bash
    PYTHONPATH=. pytest --ignore=tests/test_z_do_last_ebr_retrieval.py -p no:warnings -x
    ```
+   **All tests must pass** before proceeding!
+
+4. ✅ **Stage and commit changes** with descriptive message
 
-3. ✅ Verify no test failures (especially JVM-related tests)
+5. ✅ **Push to feature branch**
 
-4. ✅ Commit changes with descriptive message
+6. ✅ **Create pull request**
 
-5. ✅ Push to feature branch
+### Quick Pre-Push Command
+```bash
+# Run both linter and tests in one line:
+conda activate temp_owlapy && ruff check owlapy --line-length=200 --fix --unsafe-fixes && PYTHONPATH=. pytest --ignore=tests/test_z_do_last_ebr_retrieval.py -p no:warnings -x
+```
 
-6. ✅ Create pull request
+**Only push if BOTH succeed (0 errors, all tests pass)!**
 
 ### Known Test Issues
 

owlapy/owl_ontology.py

@@ -1270,7 +1270,7 @@ def __eq__(self, other):
         if isinstance(other, SyncOntology):
             try:
                 return self.owlapi_ontology.getOntologyID().equals(other.owlapi_ontology.getOntologyID())
-            except:
+            except Exception:
                 # If JVM is not running, fall back to comparing IRI paths
                 return self.path == other.path
         return False