GitHub Action to ensure the document revision is updated for a PR #8
Description
Since the document_revision.tex isn't automatically updated, it would be good to have a GitHub action to check that the document revisions contain the prospective release version for the PR, and block the PR if not.