GitHub is not for perfectionists

Making up new commit messages for the smallest changes is not easy!