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

momo/main: merge main branch #219

Merged
b12f merged 13 commits from momo-merge-main into momo/main 2023-04-24 10:50:48 +00:00
Conversation 0 Commits 13 Files changed 28 +75 -364
teutat3s commented 2023-04-17 12:46:46 +00:00
Owner
No description provided.
teutat3s added 10 commits 2023-04-17 12:46:47 +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>
teutat3s force-pushed momo-merge-main from a779fc0466 to 4faf4267a3 2023-04-18 08:53:44 +00:00 Compare
b12f approved these changes 2023-04-24 10:50:42 +00:00
b12f merged commit 211f1d16d0 into momo/main 2023-04-24 10:50:48 +00:00
b12f deleted branch momo-merge-main 2023-04-24 10:50:48 +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#219
No description provided.
Delete branch "momo-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?