.github: set defaultBranch, switch to squash merge

This commit is contained in:
ckie
2022-01-14 03:37:44 +02:00
parent 513796b2a2
commit 9d05798e16
2 changed files with 2 additions and 1 deletions

View File

@@ -8,7 +8,7 @@ git checkout depupdate
json="$(gh pr list --search "author:app/github-actions" --json headRefName,number)"
echo "$json" | jq '.[] | .headRefName | @text' | xargs -L1 -- git pull --rebase origin
if nix flake check; then
echo "$json" | jq ".[] | .number | @text" | xargs -L1 -- gh pr merge --rebase --delete-branch
echo "$json" | jq ".[] | .number | @text" | xargs -L1 -- gh pr merge --squash --delete-branch
else
gh issue create \
--title "Recent Dependency update PRs failing tests" \