I should commit more frequently

This commit is contained in:
Andrea Ciceri 2023-12-07 23:07:36 +01:00
parent aa8003f5b4
commit e82241b8b0
Signed by: aciceri
SSH key fingerprint: SHA256:/AagBweyV4Hlfg9u092n8hbHwD5fcB6A3qhDiDA65Rg
70 changed files with 1091 additions and 2018 deletions

View file

@ -1,4 +1,8 @@
{age, ...}: {
{
age,
username,
...
}: {
services.git-workspace = {
enable = true;
frequency = "04:00:00";
@ -9,7 +13,7 @@
{
provider = "github";
name = "aciceri";
path = "/home/ccr/projects";
path = "/home/${username}/projects";
skips_forks = false;
}
];
@ -19,7 +23,7 @@
{
provider = "github";
name = "mlabs-haskell";
path = "/home/ccr/projects";
path = "/home/${username}/projects";
skip_forks = false;
}
];
@ -29,7 +33,7 @@
{
provider = "github";
name = "EthereansOS";
path = "/home/ccr/projects";
path = "/home/${username}/projects";
skip_forks = false;
}
];