File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 8686 - name : 🧾 Checkout repository
8787 uses : actions/checkout@v4
8888 with :
89+ ref : ${{ github.event.repository.default_branch }}
8990 fetch-depth : 0 # Full history for proper git operations
9091
9192 - name : 📥 Download validated ontology
@@ -140,17 +141,14 @@ jobs:
140141 git config user.name "github-actions[bot]"
141142 git config user.email "github-actions[bot]@users.noreply.github.com"
142143
143- # Pull latest changes to avoid race conditions
144- git pull --rebase origin ${{ github.ref_name }} || true
145-
146144 # Add both docs and the ontology file (updates src/ontology/)
147145 git add docs src/ontology/AREMA-ontology.ttl
148146
149147 # Only commit if there are changes
150148 if ! git diff --cached --quiet; then
151149 RELEASE_TAG="${{ github.event.release.tag_name || inputs.release_tag || 'manual' }}"
152150 git commit -m "Update ontology and docs from release ${RELEASE_TAG} [skip ci]"
153- git push
151+ git push origin ${{ github.event.repository.default_branch }}
154152 echo "✅ Documentation and ontology committed"
155153 else
156154 echo "ℹ️ No changes to commit"
You can’t perform that action at this time.
0 commit comments