Add GHA testing whether files were added and deleted in the same PR.

anntzer · anntzer · commit f3f4a99866f6 · 2021-10-15T00:58:40.000+02:00
diff --git a/.github/workflows/clean_pr.yml b/.github/workflows/clean_pr.yml
@@ -0,0 +1,22 @@
+name: PR cleanliness
+on: [pull_request]
+
+jobs:
+  pr_clean:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          fetch-depth: '0'
+      - name: Check for added-and-deleted files
+        run: |
+          git fetch --quiet origin "$GITHUB_BASE_REF"
+          base="$(git merge-base "origin/$GITHUB_BASE_REF" 'HEAD^2')"
+          ad="$(git log "$base..HEAD^2" --pretty=tformat: --name-status --diff-filter=AD |
+                cut --fields 2 | sort | uniq --repeated)"
+          if [[ -n "$ad" ]]; then
+            printf 'The following files were both added and deleted in this PR:\n%s\n' "$ad"
+            exit 1
+          fi
+
