From 565b73625e379da42868a9846ab020bf5d6173c6 Mon Sep 17 00:00:00 2001
From: Jake Hughes <jh@jakehughes.uk>
Date: Fri, 19 Jan 2024 11:03:30 +0000
Subject: [PATCH] Add .github dir

---
 .github/workflows/sdci.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .github/workflows/sdci.yml

diff --git a/.github/workflows/sdci.yml b/.github/workflows/sdci.yml
new file mode 100644
index 000000000..f20da180a
--- /dev/null
+++ b/.github/workflows/sdci.yml
@@ -0,0 +1,11 @@
+on:
+  pull_request:
+  merge_group:
+
+# This is required to silence emails about the workflow having no jobs.
+# We simply define a dummy job that does nothing much.
+jobs:
+  dummy:
+    runs-on: ubuntu-latest
+    steps:
+      - run: /usr/bin/true