home/git: make it possible to skip maintenance timer per repo

2026-06-06 18:51:37 +09:00
parent 4eab4d8a03
commit 4f662737e3
1 changed files with 3 additions and 1 deletions
@@ -303,7 +303,9 @@ lib.mkIf cfg.enable {
            echo "[maintenance]"
            for repoLocation in ${repoDirs}; do
              for repo in "$repoLocation"/*/.git; do
-                echo "repo = $('${pkgs.coreutils}/bin/realpath' "''${repo%"/.git"}")"
+                if [ "$(git config get -f "$repo/config" maintenance.skip)" != true ]; then
+                  echo "repo = $('${pkgs.coreutils}/bin/realpath' "''${repo%"/.git"}")"
+                fi
              done
            done
          } > "$1"