Skip to content

Merge develop into release/15.0.0#1459

Merged
rjyounes merged 190 commits into
release/15.0.0from
stevenchalem/merge-develop-into-release-15.0.0
May 21, 2026
Merged

Merge develop into release/15.0.0#1459
rjyounes merged 190 commits into
release/15.0.0from
stevenchalem/merge-develop-into-release-15.0.0

Conversation

@stevenchalem

@stevenchalem stevenchalem commented Apr 27, 2026

Copy link
Copy Markdown
Contributor

Summary

Merges develop into release/15.0.0 to bring release-branch changes back in sync with mainline development.

Two conflicts in ontologies/gistCore.ttl were resolved as follows:

gist:Determination

  • release/15.0.0 changed subClassOf from Event to Task and reworded the definition (semantic upgrade with release note).
  • develop kept Event but fixed the sulphur -> sulfur misspelling.

Resolution: kept release/15.0.0's structural change and applied develop's spelling fix. Final block uses subClassOf gist:Task, the "activity"-based definition, and "sulfur".

gist:containedText

  • release/15.0.0 added rdfs:range rdf:PlainLiteral (kept the old definition).
  • develop improved skos:definition to "Relates an entity containing textual information to the string constituting that textual information." (did not touch range).

Resolution: the changes are orthogonal -- kept both. Final block has the new range and the new definition.

Validation

Running the following confirms that merging this branch is equivalent to merging develop and resolving the conflicts. It returns the difference between (a) merging develop into release/15.0.0 and (b) merging stevenchalem/merge-develop-into-release-15.0.0 into release/15.0.0. The only differences returned should be within the two conflicting ranges.

git fetch origin develop release/15.0.0 stevenchalem/merge-develop-into-release-15.0.0
TREE=$(git merge-tree --write-tree origin/release/15.0.0 origin/develop | head -1)
git diff $TREE origin/stevenchalem/merge-develop-into-release-15.0.0

Jamie-SA and others added 30 commits October 22, 2025 14:25
Co-authored-by: Rebecca Younes <rebecca.younes@semanticarts.com>
This reverts commit 2797780.
don't bundle Contributing.md

Co-authored-by: Rebecca Younes <rebecca.younes@semanticarts.com>
Merge `issue-1327-fix-readme` into `main`
irinafilitovich and others added 21 commits April 14, 2026 17:39
Conflicts in ontologies/gistCore.ttl resolved as follows:

- gist:Determination: kept release/15.0.0's structural change (subClassOf
  Task, "activity"-based definition) and accepted develop's "sulphur" ->
  "sulfur" spelling fix.
- gist:containedText: kept release/15.0.0's rdfs:range rdf:PlainLiteral
  and accepted develop's improved skos:definition. Changes are orthogonal.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@stevenchalem stevenchalem requested review from brett-heffelfinger and rjyounes and removed request for brett-heffelfinger April 27, 2026 16:48
@stevenchalem

Copy link
Copy Markdown
Contributor Author

Running the following confirms that merging this branch is equivalent to merging develop and resolving the conflicts.

git fetch origin develop release/15.0.0 stevenchalem/merge-develop-into-release-15.0.0
TREE=$(git merge-tree --write-tree origin/release/15.0.0 origin/develop | head -1)
git diff $TREE origin/stevenchalem/merge-develop-into-release-15.0.0

@stevenchalem stevenchalem requested review from dylan-sa and removed request for rjyounes April 27, 2026 21:11

@dylan-sa dylan-sa left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me. I looked specifically at the two merge conflicts with Determination and containedText -- looks like those have been properly resolved.

The other diffs I see here appear to be things changed in gist 14.1.0, which is what we'd expect to see.

@rjyounes rjyounes merged commit e49f5c0 into release/15.0.0 May 21, 2026
1 check passed
@rjyounes rjyounes deleted the stevenchalem/merge-develop-into-release-15.0.0 branch May 21, 2026 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.