Skip to content

Conversation

@b-gehrke
Copy link
Contributor

Adds a workflow that comments on each new PR with an overview of changes (additions and removals of axioms per ontology file)

See b-gehrke#2 as an example.

Automation

Closes #2148

PR-Assignee

Reviewer

  • 🐙 Follow the Reviewer Guide
  • 🐙 Provided feedback and show sufficient appreciation for the work done

@stap-m stap-m added this to Issues Nov 17, 2025
@github-project-automation github-project-automation bot moved this to Review in progress in Issues Nov 17, 2025
@b-gehrke b-gehrke requested review from areleu and stap-m November 21, 2025 08:36
@b-gehrke
Copy link
Contributor Author

  • Ignore term tracker annotations
  • Add warning, that term tracker annotations are ignored

@stap-m
Copy link
Contributor

stap-m commented Nov 26, 2025

Looks good to me so far.

@github-project-automation github-project-automation bot moved this from Review in progress to Reviewer approved in Issues Nov 27, 2025
@b-gehrke b-gehrke merged commit 9ab33dd into dev Nov 27, 2025
3 checks passed
@github-project-automation github-project-automation bot moved this from Reviewer approved to Done in Issues Nov 27, 2025
@b-gehrke b-gehrke deleted the feature-2148-add-change-overview-to-pr branch November 27, 2025 08:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Improve PR review by adding a summary of added and deleted axioms

4 participants