From 491664b4e4ce3e151302944a63f992c2843c5cb0 Mon Sep 17 00:00:00 2001
From: Kevin Montag <kmontag@cs.stanford.edu>
Date: Mon, 19 Aug 2024 03:34:29 +0200
Subject: [PATCH] ci: allow revert commits

---
 .github/semantic.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/semantic.yml b/.github/semantic.yml
index adfc38a..bee96c5 100644
--- a/.github/semantic.yml
+++ b/.github/semantic.yml
@@ -3,3 +3,6 @@
 # PRs will be rebased before being merged. Individual commits need to
 # follow the semantic PR spec.
 commitsOnly: true
+
+# Allow reverts.
+allowRevertCommits: true