Allow to set uid and gid instead of owner and group. #637
Mergify / Queue: Embarked in merge queue
succeeded
Oct 23, 2024 in 0s
The pull request embarked with master (26642e8) will be merged soon
Required conditions for merge:
-
check-success=buildbot/nix-build
- all of [📃 From pull request rule queue]:
-closed
[📌 queue requirement]-conflict
[📌 queue requirement]-draft
[📌 queue requirement]- any of [📌 queue -> configuration change requirements]:
-mergify-configuration-changed
-
check-success = Configuration changed
- any of [🔀 queue conditions]:
- all of [📌 queue conditions of queue
default
]
- all of [📌 queue conditions of queue
Check-runs and statuses of the embarked pull request #637:
dependabot | details | ||
buildbot/nix-build Build done. | details | ||
buildbot/nix-eval Build done. | details | ||
tests | details |
Loading