Commits like this are completely brainless work. A workflow that ran after Dependabot opens a PR could do them. https://github.com/typelevel/typelevel.github.com/pull/520/commits/68882af6d937bb870c4c8b634185020ea98f06dd