Could you make releases

[joshmarinacci]

GitHub doesn't let you programmatically download individual files but it does let you create Releases which can be downloaded. Could you tag your latest version as a 'release' so I can download it?

I'm working on a new IDE just for Arduino which will automatically download libraries when you use them, so having releases makes a huge difference. Otherwise the IDE has to check out the entire repo.

[thijse]

Good idea I will look into that