Build fails when no changes to documentation
If there are no changes then git commit (and the build) fails - we use diff-index to test for no changes first.
Closes #1 (closed)
GitLab will be upgraded on 17-Feb-2025 between 12:00 and 14:00. There may be small periods of service instability.
If there are no changes then git commit (and the build) fails - we use diff-index to test for no changes first.
Closes #1 (closed)