From e5e66264d596e7a656e530a94109443d3e32e148 Mon Sep 17 00:00:00 2001
From: Lucas Nicodemus <shank@shanked.me>
Date: Tue, 25 May 2021 22:55:39 -0700
Subject: [PATCH] Remove Dangerfile

We aren't using Danger anymore (short lived!) so this is just
superfluous.
---
 Dangerfile | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100644 Dangerfile

diff --git a/Dangerfile b/Dangerfile
deleted file mode 100644
index 5e637670..00000000
--- a/Dangerfile
+++ /dev/null
@@ -1,12 +0,0 @@
-def changelog_was_not_updated?
-  !git.modified_files.include? "CHANGELOG.md"
-end
-
-def complicated?
-  !github.pr_body.include? "#trivial"
-end
-
-if changelog_was_not_updated? && complicated?
-  fail "You need to update the changelog. Your pull request will not be merged until this is done."
-  markdown "ProTip: Even if you think something is super simple, it should be in the changelog. Literally the only exception to this rule is if your commit isn't touching code."
-end