rekado pushed a commit to branch master
in repository guix.
commit 10c6387f5bafc3d9a3ea5477eb72566ede7af4d0
Author: Ricardo Wurmus <[email protected]>
AuthorDate: Thu Sep 21 16:01:30 2023 +0200
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(+)
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)))
