Devs

As you'll see from this pipeline record

CI consistently fails once a single commit has trailing whitespace, even if it is fixed in a subsequent commit
  • dce2054d introduced trailing whitespace
  • 6411223c removed it again.
  • but all subsequent pipelines fail
This came as a big surprise.  It doesn't make sense to lint each individual commit.  Let's just lint the final version!  (I will squash them in due course, but I didn't want to lose my work-in-progress history.)

Simon