From 783f38a7000f208abf4f7b78443b82dec2d57b94 Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Mon, 22 Oct 2018 18:06:24 -0700
Subject: [PATCH] website: force rebuild after random github failure

---
 docs/_config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/_config.yml b/docs/_config.yml
index f00875d90..f40bd0c99 100644
--- a/docs/_config.yml
+++ b/docs/_config.yml
@@ -8,3 +8,4 @@ kramdown:
   input: GFM
   auto_ids: true
   hard_wrap: false
+