In the past, when we've proposed govdoc updates, we've generated a PDF with the changes highlighted. We have an existing make target for that (%.diff-$(HASH).tex). It occurs to me that presumably GitHub Actions is capable of looking at a PR, finding the base commit, and running a command with that commit hash, such that we could automatically generate such a diff PDF for each PR.
In the past, when we've proposed govdoc updates, we've generated a PDF with the changes highlighted. We have an existing make target for that (
%.diff-$(HASH).tex). It occurs to me that presumably GitHub Actions is capable of looking at a PR, finding the base commit, and running a command with that commit hash, such that we could automatically generate such a diff PDF for each PR.