jj: set git branch push prefix. remove unused aliases.

This commit is contained in:
Daniel Lundin 2024-09-19 16:51:53 +02:00
parent 0283216034
commit 0f26b88080
Signed by: dln
SSH key fingerprint: SHA256:dQy1Xj3UiqJYpKR5ggQ2bxgz4jCH8IF+k3AB8o0kmdI

View file

@ -40,6 +40,10 @@ in
key = "/home/dln/.ssh/git_signing_key.pub"; key = "/home/dln/.ssh/git_signing_key.pub";
}; };
git = {
push-branch-prefix = "dln/push-"
};
ui = { ui = {
"default-command" = [ "default-command" = [
"log" "log"
@ -86,14 +90,6 @@ in
"-r" "-r"
"all()" "all()"
]; ];
b = [
"branch"
"list"
];
n = [
"new"
"main"
];
d = [ d = [
"diff" "diff"
"--tool=difftu" "--tool=difftu"