docs: better commit message, add nix stuff to gitignore

Author: AREMA Ontology Bot

.github/workflows/pipeline.yaml

@@ -103,7 +103,7 @@ jobs:
           # Only commit if there are changes
           if ! git diff --cached --quiet; then
             RELEASE_TAG="${{ github.event.release.tag_name || inputs.release_tag || 'manual' }}"
-            git commit -m "Update docs from release ${RELEASE_TAG} [skip ci]"
+            git commit -m "docs: update docs from release ${RELEASE_TAG} [skip ci]"
             git push origin ${{ github.event.repository.default_branch }}
             echo "✅ Documentation committed"
           else

.gitignore

@@ -19,3 +19,6 @@ build/
 venv/
 
 src/ontology/AREMA-ontology.ttl
+
+flake.nix
+flake.lock