etc/committer: Do not record positions when reading from git files.

This gives us a slight performance boost. * etc/committer.scm.in (main): Disable recording of positions.
2023-09-21 16:01:30 +02:00 · 2023-09-21 16:01:30 +02:00 · 10c6387f5b
parent 0836af9a3b
commit 10c6387f5b
1 changed files with 1 additions and 0 deletions
--- a/etc/committer.scm.in
+++ b/etc/committer.scm.in
@ -358,6 +358,7 @@ modifying."
        (_
         (apply change-commit-message file-name old new rest)))))

+  (read-disable 'positions)
  (match (diff-info)
    (()
     (display "Nothing to be done.\n" (current-error-port)))