diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-02-26 16:41:42 +0100 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-02-26 16:44:36 +0100 |
commit | bbedc7e0d575c91c287710d8de8a8ea1a57861e2 (patch) | |
tree | d6b4ae3f3e57ddea60ed4946320be51dce93fdfd | |
parent | 978d7e8138419ffa94782bd5a0fd132832b910fd (diff) |
pre-commit: Do not run `git clang-format` in parallel
Running `git clang-format` in parallel (when multiple files have been
changed) can cause issues because `.git/index.lock` already exists.
-rw-r--r-- | .pre-commit-config.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index 9a6cefe48b..96640ed066 100644 --- a/.pre-commit-config.yaml +++ b/.pre-commit-config.yaml @@ -75,6 +75,7 @@ repos: - id: clang-format entry: git clang-format args: [] + require_serial: true stages: - commit - manual |