This workflow will run whenever one of use (the repo owners) adds the /diff comment in a pull request. It will generate a highlighted diff of the schema as a GitHub comment.
carpentries/comment-diff to create and subsequently update a comment with GitHub's API (I wrote this one at my previous job)
I've updated the README to highlight the automatic generation of diffs, while leaving @annakrystalli instructions for manually creating the diffs as a backup
This workflow will run whenever one of use (the repo owners) adds the
/diffcomment in a pull request. It will generate a highlighted diff of the schema as a GitHub comment.This uses two external actions
I've updated the README to highlight the automatic generation of diffs, while leaving @annakrystalli instructions for manually creating the diffs as a backup