Commits on Nov 14, 2024

1. Add GitHub action that assigns reviewers when equivalent class axioms… …

   … are updated
   
   The main use case for this action is to provide a way to assign specific reviewers when equivalent class axioms are added or updated, but it should be easy to extend the action to other kinds of edits, hence the generic name.
   
   To achieve the above, we check the diff for changes to rows that signify a logical definition, i.e. starting with "intersection_of". If we find such a change, we set a special environment variable to "true"; if it is "true", in the next step, a reviewer is assigned. Lastly, we let the GitHub action itself make a review, which requests changes - the idea is that these need to be dismissed by a person which sufficient access to Uberon before the change is committed to the main (master) branch.
   
   Issue: #2020

   

   matentzn authored Nov 14, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 32b32f0
   • Browse repository at this point

   Copy the full SHA

   32b32f0 View commit details

   Browse the repository at this point in the history