Git empty commit

We can do git commit --allow-empty to make a new commit with no actual changes to any files. So we do not need any random whitespace changes to trigger new builds.

Learned from: Megan Sullivan's tweet