nix fmt #8

Merged
Luis merged 2 commits from Luis-main into main 2023-10-30 16:26:29 +00:00
Showing only changes of commit 242dbeb253 - Show all commits

View File

@@ -118,4 +118,3 @@ Also set the option `Enable Status Check` to `build / test (pull_request)`
Add `merge-bot` and `ui-asset-bot` as collaborators. Add `merge-bot` and `ui-asset-bot` as collaborators.
Also set the option `Delete pull request branch after merge by default` Also set the option `Delete pull request branch after merge by default`
Also the the default merge style to `Rebase then create merge commit` Also the the default merge style to `Rebase then create merge commit`