fish: fuse univ-repos into repos

This commit is contained in:
Primrose 2024-11-15 18:19:53 +01:00
parent 8c73dfb8c5
commit a5313616d5
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
3 changed files with 7 additions and 16 deletions

View file

@ -55,10 +55,11 @@
};
};
# TODO: duplicate this for the new uni gitlab instance
programs.git.includes = [
# university identity
{
condition = "gitdir:~/univ-repo/";
condition = "hasconfig:remote.*.url:git@gitlab.istic.univ-rennes1.fr:*/**";
contents = {
init.defaultBranch = "main";
user = {