Sync history by merge of upstream eclipse-score back to downstream score-json#59
Merged
ThomasClausnitzer merged 11 commits intomainfrom Mar 17, 2026
Merged
Commits
Commits on Dec 10, 2025
Commits on Dec 16, 2025
- authored
Commits on Jan 12, 2026
- authored andcommitted
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}
Commits on Jan 15, 2026
- authored
Commits on Jan 24, 2026
- authored andcommitted
Commits on Feb 20, 2026
Commits on Mar 16, 2026
- authored
- authored andcommitted
- andauthored
- committed
- committed
