thubrecht
0 followers · 0 following
  • Joined on 2023-09-14
Repositories
7
 Projects Packages Public activity Starred repositories
5
thubrecht commented on pull request DGNum/infrastructure#327 2025-03-10 21:22:35 +01:00
feat(storage01): init openbao

Comme dit Maurice, tout ce bloc se remplace par :

thubrecht commented on pull request DGNum/infrastructure#327 2025-03-10 21:22:35 +01:00
feat(storage01): init openbao
thubrecht deleted branch npins-actions from DGNum/infrastructure 2025-03-09 21:42:41 +01:00
thubrecht pushed to main at DGNum/infrastructure 2025-03-09 21:42:40 +01:00
c705ba8176 fix(nix-actions): now steps are under lib
6449fcc87e chore(npins): Update nix-actions
Compare 2 commits »
thubrecht automatically merged pull request DGNum/infrastructure#330 2025-03-09 21:42:39 +01:00
thubrecht pushed to netcore00 at DGNum/infrastructure 2025-03-09 21:40:39 +01:00
b6ed312518 feat(netconf): init netcore00
22dfdaeb37 chore(catvayor/keys): add less secured key for builder
Compare 2 commits »
thubrecht pushed to npins-actions at DGNum/infrastructure 2025-03-09 21:39:38 +01:00
c705ba8176 fix(nix-actions): now steps are under lib
6449fcc87e chore(npins): Update nix-actions
22dfdaeb37 chore(catvayor/keys): add less secured key for builder
Compare 3 commits »
thubrecht deleted branch cat-keys from DGNum/infrastructure 2025-03-09 21:35:45 +01:00
thubrecht merged pull request DGNum/infrastructure#329 2025-03-09 21:35:44 +01:00
chore(catvayor/keys): add less secured key for builder
thubrecht pushed to main at DGNum/infrastructure 2025-03-09 21:35:44 +01:00
22dfdaeb37 chore(catvayor/keys): add less secured key for builder
thubrecht pushed to main at DGNum/infrastructure 2025-03-07 23:04:03 +01:00
c01d4ba9c3 feat(web03/gestiojeux): Update settigns
thubrecht pushed to production at DGNum/gestiojeux 2025-03-07 22:57:04 +01:00
4fb1c90af0 chore(npins): Update
198241dd63 feat(settings): Update email and directories setup
Compare 2 commits »
thubrecht pushed to main at DGNum/gestiojeux 2025-03-07 22:52:11 +01:00
4fb1c90af0 chore(npins): Update
198241dd63 feat(settings): Update email and directories setup
Compare 2 commits »
thubrecht deleted branch pure from DGNum/infrastructure 2025-03-02 23:21:27 +01:00
thubrecht pushed to main at DGNum/infrastructure 2025-03-02 23:21:27 +01:00
86a3811327 fix(wrappers/colmena): ensure purity of evaluation
thubrecht merged pull request DGNum/infrastructure#322 2025-03-02 23:21:25 +01:00
fix(wrappers/colmena): ensure purity of evaluation
thubrecht deleted branch meta/emails from DGNum/infrastructure 2025-03-02 17:40:40 +01:00
thubrecht closed pull request DGNum/infrastructure#317 2025-03-02 17:40:23 +01:00
feat(meta): Introduce mailing-list declaration
thubrecht pushed to meta/emails at DGNum/infrastructure 2025-03-01 23:30:57 +01:00
e3c0566f3f feat(meta): Introduce mailing-list declaration
thubrecht commented on pull request DGNum/infrastructure#317 2025-03-01 17:55:26 +01:00
feat(meta): Introduce mailing-list declaration

Parce que j'ai écrit cette partie avant le mkMerge ^^