f60b8243cd
Merge pull request 'Finish to init repo' (#1) from finish_init into main
c2e8ca5e33
chore(deps): update nix-pkgs
eae18caa21
chore(shell): Specialize for lab-infra
b8f729c290
chore(proxmox-nixos): Update
2ac0a35c5e
chore(meta): Revamp and remove DNS for now
2424e4b953
Merge pull request 'feat: change CSS git color' (#2) from cst1/landing:forgejo_color into main
d81b830bf5
feat: change CSS git color
feat(forgejo): 7 days sessions
feat(compute01): init pages server
le "hostnames" sert à pouvoir mettre des éléments du type *.dgnum.eu dans la map, effectivement plus utile ici
e35e6a1006
chore: remove other machines to workflows
a2b7e57ea9
fix: delete pre-commit-hook link