required checks autoskip

Author: corwinkuiper

.github/workflows/required-pr-checks.yml

@@ -0,0 +1,16 @@
+# The idea here is to immediately pass checks required for a PR to be merged so
+# that the gate is on the merge queue rather than on entering the merge queue
+
+on:
+  pull_request:
+    branches: [master]
+
+jobs:
+  just_ci:
+    name: Just CI
+    runs-on: ubuntu-latest
+    steps: []
+  website:
+    name: Build website
+    runs-on: ubuntu-latest
+    steps: []