From 13e621bbd06c982d32795770eb2b656a245a2c3d Mon Sep 17 00:00:00 2001
From: soburi <soburi@gmail.com>
Date: Sat, 22 Oct 2016 15:26:35 +0900
Subject: [PATCH] Create new index.json if not available in gh-pages

---
 dist/ci_boardmanager.rb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dist/ci_boardmanager.rb b/dist/ci_boardmanager.rb
index ea8613b..7b0c5b6 100644
--- a/dist/ci_boardmanager.rb
+++ b/dist/ci_boardmanager.rb
@@ -44,6 +44,7 @@
 
 bmdata = JSON.load('{ "packages": [ { "platforms": [], "tools": [] }  ] }')
 begin
+  raise if force
   bmdata = open(ghpage_url) {|f| JSON.load(f) }
 rescue => e
   bmdata['packages'][0]['name'] = 'defaultname'
@@ -51,7 +52,7 @@
   bmdata['packages'][0]['websiteURL'] = 'http://example.com'
   bmdata['packages'][0]['email'] = 'default@example.com'
   STDERR.puts(e)
-  raise e if not force
+  #raise e if not force
 end