Compare commits

..

No commits in common. "42aabdf5a513d45a8aaaac85f63f142eb7a209b1" and "19551022f04adceb0339d5c7230df867ed9e9e3a" have entirely different histories.

View file

@ -10,15 +10,6 @@
behavior = "own"; behavior = "own";
backend = "gpg"; backend = "gpg";
}; };
ui = {
pager = "delta";
diff-formatter = ":git";
};
git = {
private-commits = "description(glob:'wip:*') | description(glob:'private:*') | description(glob:'fixup*')";
};
"--scope" = [ "--scope" = [
{ {
"--when".repositories = ["~/repos/projects.cs.nott.ac.uk"]; "--when".repositories = ["~/repos/projects.cs.nott.ac.uk"];
@ -26,10 +17,6 @@
email = "psycl6@nottingham.ac.uk"; email = "psycl6@nottingham.ac.uk";
}; };
} }
{
"--when".commands = ["status"];
ui.paginate = "never";
}
]; ];
}; };
}; };