pub-solar/os
5
0
Fork 2
Code Issues4 Pull requests Projects1 Releases Packages Wiki Activity

infra: merge main branch #218

Merged
b12f merged 11 commits from infra-merge-main into infra 2023-04-24 10:53:15 +00:00
Conversation 0 Commits 11 Files changed 27 +71 -360
teutat3s commented 2023-04-17 12:45:36 +00:00
Owner
No description provided.
teutat3s added 11 commits 2023-04-17 12:45:37 +00:00 
See:
54ede8e591...0595ae70cd?diff=unified
to specify it explicitly (results in double entry in nix.conf)

Also force our nix.extraOptions because digga tries real hard to put
their binary caches there:
0595ae70cd/modules/nix-config.nix (L19-L23)
runner
Reviewed-on: 
Reviewed-by: hensoko <hensoko@gssws.de>
Reviewed-on: 
Reviewed-by: hensoko <hensoko@gssws.de>
Reviewed-on: 
Reviewed-by: hensoko <hensoko@gssws.de>
b12f approved these changes 2023-04-24 10:51:19 +00:00
b12f merged commit 22cd6bd627 into infra 2023-04-24 10:53:15 +00:00
b12f deleted branch infra-merge-main 2023-04-24 10:53:15 +00:00
Sign in to join this conversation.
No reviewers
b12f
No labels
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
2 participants
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: pub-solar/os#218
No description provided.
Delete branch "infra-merge-main"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?