diff options
author | Linnnus <[email protected]> | 2024-09-25 22:04:38 +0200 |
---|---|---|
committer | Linnnus <[email protected]> | 2024-09-28 12:18:48 +0200 |
commit | 8a99090226b46caf445e0d4b957f74775b07401b (patch) | |
tree | db49dcde2615df09d0896155aa8dedd5921ac665 /home/git | |
parent | d3a0bc9f03efe1f0f0f867a4878cbd2826820f56 (diff) |
home: Git check submodules on push
Diffstat (limited to 'home/git')
-rw-r--r-- | home/git/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/home/git/default.nix b/home/git/default.nix index b0ed3bb..a1f89bf 100644 --- a/home/git/default.nix +++ b/home/git/default.nix @@ -20,6 +20,10 @@ in { help.autoCorrect = "prompt"; + # Make sure we don't accidentally update submodules with changes that are only available locally. + # See: https://git-scm.com/book/en/v2/Git-Tools-Submodules + push.recurseSubmodules = "check"; + credential = { "https://github.com/" = { username = "linnnus"; |