{"action":"created","issue":{"url":"https://api.github.com/repos/esp8266/Arduino/issues/13","labels_url":"https://api.github.com/repos/esp8266/Arduino/issues/13/labels{/name}","comments_url":"https://api.github.com/repos/esp8266/Arduino/issues/13/comments","events_url":"https://api.github.com/repos/esp8266/Arduino/issues/13/events","html_url":"https://github.com/esp8266/Arduino/issues/13","id":65127818,"number":13,"title":"Install via Board manager","user":{"login":"beriberikix","id":178376,"avatar_url":"https://avatars.githubusercontent.com/u/178376?v=3","gravatar_id":"","url":"https://api.github.com/users/beriberikix","html_url":"https://github.com/beriberikix","followers_url":"https://api.github.com/users/beriberikix/followers","following_url":"https://api.github.com/users/beriberikix/following{/other_user}","gists_url":"https://api.github.com/users/beriberikix/gists{/gist_id}","starred_url":"https://api.github.com/users/beriberikix/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/beriberikix/subscriptions","organizations_url":"https://api.github.com/users/beriberikix/orgs","repos_url":"https://api.github.com/users/beriberikix/repos","events_url":"https://api.github.com/users/beriberikix/events{/privacy}","received_events_url":"https://api.github.com/users/beriberikix/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/esp8266/Arduino/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/esp8266/Arduino/labels/packaging","name":"packaging","color":"eb6420"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":22,"created_at":"2015-03-30T03:39:38Z","updated_at":"2015-05-09T13:27:42Z","closed_at":null,"body":"With the [1.6.2 IDE release](http://arduino.cc/en/Main/ReleaseNotes), there is now a way to download new boards directly. Will this implementation be able to support the manager? It would be nice to be able to use a single IDE rather than a fork."},"comment":{"url":"https://api.github.com/repos/esp8266/Arduino/issues/comments/100484642","html_url":"https://github.com/esp8266/Arduino/issues/13#issuecomment-100484642","issue_url":"https://api.github.com/repos/esp8266/Arduino/issues/13","id":100484642,"user":{"login":"gerardwr","id":10114857,"avatar_url":"https://avatars.githubusercontent.com/u/10114857?v=3","gravatar_id":"","url":"https://api.github.com/users/gerardwr","html_url":"https://github.com/gerardwr","followers_url":"https://api.github.com/users/gerardwr/followers","following_url":"https://api.github.com/users/gerardwr/following{/other_user}","gists_url":"https://api.github.com/users/gerardwr/gists{/gist_id}","starred_url":"https://api.github.com/users/gerardwr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gerardwr/subscriptions","organizations_url":"https://api.github.com/users/gerardwr/orgs","repos_url":"https://api.github.com/users/gerardwr/repos","events_url":"https://api.github.com/users/gerardwr/events{/privacy}","received_events_url":"https://api.github.com/users/gerardwr/received_events","type":"User","site_admin":false},"created_at":"2015-05-09T13:27:42Z","updated_at":"2015-05-09T13:27:42Z","body":"@toddtreece\r\n\r\nThanks for the extensive explanation.\r\n\r\nI fully agree:\r\n- that the ESP extensions should be structured as an \"addon\" to an original Arduino IDE.\r\n- The route that @igrr has chosen works great when it's build regularly, but partial source-upgrades is not easy to do. \r\n- that the @sandeepmistry fork is currently closest to the ideal solution. I use it now too with Arduino1.6.3.\r\n- that the route you have chosen is in my opinion the most elegant.\r\n\r\nMy point from a user perspective is that your approach using the Board Manager + a stable version of @igrr  's  master is the optimal solution.\r\n\r\nWould be excellent if @igrr and @sandeepmistry could integrate their repo's.\r\n\r\n\r\n\r\n  "}}