DGNum/infrastructure
11
6
Fork 3
Code Issues 36 Pull requests 30 Projects 1 Releases Packages Activity Actions

vendorer hubrecht/nix-lib #55

New issue
Closed
opened 2024-02-21 01:36:33 +01:00 by Luj · 0 comments
Luj commented 2024-02-21 01:36:33 +01:00
Member
Copy link

Il semblerait que https://git.hubrecht.ovh/hubrecht/nix-lib soit utilisé de manière omniprésente dans le repo. Vendorer cette lib pour permettre de grep facilement le code et le modifier pourrait être bénéfique

Il semblerait que https://git.hubrecht.ovh/hubrecht/nix-lib soit utilisé de manière omniprésente dans le repo. Vendorer cette lib pour permettre de grep facilement le code et le modifier pourrait être bénéfique
dgnum-chores referenced this issue from a commit 2025-10-29 07:02:09 +01:00
lon: update lon
dgnum-chores referenced this issue from a commit 2025-11-05 07:01:07 +01:00
lon: update lon
dgnum-chores referenced this issue from a commit 2025-11-12 07:01:09 +01:00
lon: update lon
dgnum-chores referenced this issue from a commit 2025-11-19 07:02:35 +01:00
lon: update lon
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
gestiocof-rappel_adhesion-timer
peertube_oidc
prod-dns
lon/wp4nix
lon/stateless-uptime-kuma
lon/nixos-unstable
lon/nixos-25.05
lon/lon
lon/lix-module
lon/lix
lon/liminix
lon/git-hooks
lon/dns.nix
lon/colmena
lon/agenix
dns
disable_geo_bk
hypervisor-incus
external01
takumiv2
zulip
pkg-update
test-Jaccess01
testing/switch-test
geo01-no-notify
alert-manager-notify
deploy_jdl
jdl01
feat/ap-prod
grist
drbd
mdebray/ap-dev
zulip_11_x
labrouter-wg
zulipmail
feature/add-bmc-ips
ecoppens/zulip-dns
build01-journald
mdebray/nixos-25.05
declarative-buckets
vault01-isp
demarches01
hackdays-ap
raito/zulip
staging-cas
feature/hackdays01
testing02
openwrt-exporter
ban_git_scrappers
ap-poc-v01
hypervisor
victoria-metrics
init-dgnum-page
takumi-can-do-ollama
deployment-hackdays
hackdays-ap01
hackdays2025
poc-v1.0
Labels
Clear labels   
awaiting
awaiting-author
Awaiting for the author interaction (e.g. QA/confirmation/final merge)

  
awaiting
awaiting-reviewer
Awaiting for a privileged reviewer to approve this PR

  
bot

Pull Request opened by a bot

  
deployed

This PR is currently deployed on the infra

  
Silenced alert

This is a known and silenced alert.

  
bug

Something is not working

  
duplicate

This issue or pull request already exists

  
enhancement

New feature

  
help wanted

Need some help

  
invalid

Something is wrong

  
question

More information is needed

  
wontfix

This won't be fixed

No labels
awaiting
awaiting-author
awaiting
awaiting-reviewer
bot
deployed
Silenced alert
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
DGNum/infrastructure#55
No description provided.