infra: merge main branch #218
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
flake: pull in changes from digga upstream
d0470d5aaf
audio: disable useless bluetooth sap plugin
b01c5f9fce
cachix: remove unused binary caches
b1ad71cd35
cachix: default binary cache is nixos.org, no need
972e3f1569
nix.conf: add back required experimental features
52c2ca9f13
ci: cleanup unused directories
3bdc4b1f39
cachix: remove unused binary caches from drone
3ea141d445
Merge pull request 'flake: pull in changes from digga upstream' (#207) from upstream/digga-changes into main
9f7d209392
Merge pull request 'audio: disable useless bluetooth sap plugin' (#208) from audio/disable-bluetooth-sap-plugin into main
76d8af7c3a
Merge pull request 'cachix: remove unused binary caches' (#209) from cachix/remove-unused-caches into main
029be00eab
Merge branch 'main' into infra-merge-main
e02a5b0e50
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
b12f
referenced this pull request from a commit 2023-04-24 10:53:15 +00:00
Merge pull request 'infra: merge main branch' (#218) from infra-merge-main into infra
Loading…
Reference in a new issue
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?