···503503504504505505def commit(repo: git.Repo, message: str, files: List[Path]) -> None:
506506- files_staged = repo.index.add([str(f.resolve()) for f in files])
506506+ repo.index.add([str(f.resolve()) for f in files])
507507508508- if files_staged:
508508+ if repo.index.diff("HEAD"):
509509 print(f'committing to nixpkgs "{message}"')
510510 repo.index.commit(message)
511511 else: