ReleaseScripts Board manager json file for my Arduino cores. This will contain scripts for automating board manager releases as they are written.