From 6b3de4eaebbb01ba39cfdf7d7fa9cf4c505c148d Mon Sep 17 00:00:00 2001
From: Jerome Lacoste <jerome@wewanttoknow.com>
Date: Fri, 15 Nov 2019 18:54:30 +0100
Subject: [PATCH] Prevent circle ci from trying to build those github-pages
 changes. Note that circle should already ignore it but I cannot get it to
 work.

---
 Rakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Rakefile b/Rakefile
index 511704903..7a7c91078 100644
--- a/Rakefile
+++ b/Rakefile
@@ -75,7 +75,7 @@ task :update do
   sh "git add v#{VERSION}/versions.json"
   sh 'git config --global user.email "ci@dragonbox.com"' if `git config --global user.email`.empty?
   sh 'git config --global user.name "CI"' if `git config --global user.name`.empty?
-  sh 'git commit -m "Automated cache update"'
+  sh 'git commit -m "Automated cache update [ci skip]"'
   sh 'git push origin gh-pages'
 end