change some git settings

This commit is contained in:
cswimr 2025-01-11 18:09:50 -06:00
parent 54547ae37d
commit 6ad152cd77
Signed by: cswimr
GPG key ID: 0EC431A8DA8F8087

View file

@ -55,6 +55,10 @@
userName = user; userName = user;
userEmail = "seaswimmerthefsh@gmail.com"; userEmail = "seaswimmerthefsh@gmail.com";
extraConfig = { extraConfig = {
credential.helper = "${pkgs.git.override { withLibsecret = true; }}/bin/git-credential-libsecret";
push = {
autoSetupRemote = true;
};
core = { core = {
editor = "code -w"; editor = "code -w";
}; };
@ -85,6 +89,12 @@
"github:" "github:"
]; ];
}; };
"https://git.galaxy.casa/" = {
insteadOf = [
"galaxy:"
"git@git.galaxy.casa:"
];
};
}; };
hub.protocol = "ssh"; hub.protocol = "ssh";
}; };