From 10c6387f5bafc3d9a3ea5477eb72566ede7af4d0 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Thu, 21 Sep 2023 16:01:30 +0200 Subject: 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. --- etc/committer.scm.in | 1 + 1 file changed, 1 insertion(+) (limited to 'etc') diff --git a/etc/committer.scm.in b/etc/committer.scm.in index cc3b572710..45efb68be2 100755 --- 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))) -- cgit v1.2.3