From 1df5fd85b5e75f108344aa33e79e8c4bf5b7e6fc Mon Sep 17 00:00:00 2001 From: per1234 Date: Mon, 26 Apr 2021 21:55:19 -0700 Subject: [PATCH] Use squash merge for submission PRs There is no good reason for a submission to consist of more than one commit. As the submitter works with the bot to produce a compliant submission, they will sometimes end up with PRs that consist of multiple non-atomic commits, which would pollute the repository's commit history if not squashed at the time of the merge. --- .github/workflows/manage-prs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/manage-prs.yml b/.github/workflows/manage-prs.yml index 9e4730f1..e33c9f70 100644 --- a/.github/workflows/manage-prs.yml +++ b/.github/workflows/manage-prs.yml @@ -310,6 +310,7 @@ jobs: owner: ${{ github.repository_owner }} repo: ${{ github.event.repository.name }} pull_number: ${{ github.event.pull_request.number }}${{ github.event.issue.number }} + merge_method: squash - name: Checkout index source branch uses: actions/checkout@v2