Weirdness

Github thinks 7 files need to be committed, but they have no changes and
committing them does nothing, it still wants to commit again...