thubrecht

0 followers · 0 following

• Joined on 2023-09-14

Repositories

3

Projects Packages Public activity Starred repositories

5

thubrecht closed issue Klub-RZ/infrastructure#16 2023-12-24 00:29:33 +01:00

Public COF IPv4 configurations is very broken

thubrecht closed issue Klub-RZ/infrastructure#11 2023-12-24 00:29:18 +01:00

Fix deprecations for 22.11

thubrecht closed issue Klub-RZ/infrastructure#17 2023-12-24 00:29:13 +01:00

Firewalling core01

thubrecht closed issue Klub-RZ/infrastructure#22 2023-12-24 00:29:06 +01:00

Automatic download of latest NixOS ISOs

thubrecht closed issue Klub-RZ/infrastructure#26 2023-12-24 00:28:44 +01:00

What services are in in use ?

thubrecht pushed to master at Klub-RZ/infrastructure 2023-12-22 23:53:58 +01:00

9236bed612 feat(npins): Update nix-lib

thubrecht pushed to main at DGNum/infrastructure 2023-12-22 18:25:34 +01:00

f4fe84075c fix(workflows): Use raw values

9b49bd2721 feat(dgn-runners): Add curl and link usr/bin/env to bin/env for compatibility with nixos

Compare 2 commits »

thubrecht pushed to main at DGNum/infrastructure 2023-12-22 07:09:13 +01:00

1984cf9bd3 feat(workflows): Regularly update ds-fr

thubrecht pushed to main at DGNum/infrastructure 2023-12-22 06:59:21 +01:00

61cff36813 chore(ds-fr): Update

68f75013d3 feat(redirections): Retire photos.ens.wtf

94ca76f2f0 chore(npins): Update www-eleves

Compare 3 commits »

thubrecht pushed to main at DGNum/eleves.dgnum.eu 2023-12-21 15:32:55 +01:00

6ad35ba1ea feat(www): Add a link to the DGNum's website

thubrecht pushed to main at DGNum/infrastructure 2023-12-21 15:29:12 +01:00

ff0c143c3f chore(npins): Update dgnum-retired

thubrecht pushed to main at DGNum/retired.dgnum.eu 2023-12-21 15:28:25 +01:00

735e56edee feat(www): Add analytics

thubrecht pushed to master at Klub-RZ/infrastructure 2023-12-21 15:12:46 +01:00

779f3f3d9e core-services-01: fix cname

thubrecht pushed to main at DGNum/infrastructure 2023-12-21 15:11:37 +01:00

df033fb84d feat(redirections): simplify retired services management

thubrecht pushed to main at DGNum/infrastructure 2023-12-21 15:08:16 +01:00

ade1358caa feat(redirections): Add more retired services

thubrecht pushed to master at Klub-RZ/infrastructure 2023-12-21 14:32:16 +01:00

9fd583a9cc core-services-01: Disable services

9c32d9b838 core-services-01: Update DNS config

Compare 2 commits »

thubrecht pushed to master at Klub-RZ/infrastructure 2023-12-21 13:54:44 +01:00

3f20242eab remote-builder-01: decommission

49ed2855a5 core-01: redirect most of our services to web01.dmi01.infra.dgnum.eu

Compare 2 commits »

thubrecht closed pull request DGNum/kadenios#34 2023-12-20 23:21:59 +01:00

Module de pétitions inspiré de degette

thubrecht pushed to master at DGNum/kadenios 2023-12-20 23:21:25 +01:00

1383dc30eb fix(elections): Create active users

thubrecht pushed to main at DGNum/infrastructure 2023-12-20 16:27:23 +01:00

cd1c14d6d6 feat(redirections): Add SSL to retired websites