diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-09-21 16:01:30 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-09-24 13:49:53 +0200 |
| commit | 10c6387f5bafc3d9a3ea5477eb72566ede7af4d0 (patch) | |
| tree | b1b0b6df9699dde2856baa50439d5fd9070a8a35 /etc/committer.scm.in | |
| parent | 0836af9a3b33813e69ece7075fbc222fdb85bfb3 (diff) | |
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.
Diffstat (limited to 'etc/committer.scm.in')
| -rwxr-xr-x | etc/committer.scm.in | 1 |
1 files changed, 1 insertions, 0 deletions
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))) |