What do you think about making the Github repo compatible with the Arduino IDE boards manager?
I had a go at it here:
https://github.com/benlye/anet-board/tree/board-manager
It requires changing the file layout and creating the JSON index file. The index file I created works, but is a mix of information - it points to my repo only because of the file structure changes that needed to be in the download archive, and because I had to tag a release.
It would mean that any future changes to the board definition would cause people to get a pop-up in the IDE telling them there was an update available.
Ben