Update August 4, 2020: the green ‘Download’ button shown in this video is now called ‘Code’. GitHub has become the place for people to share source code for all sorts of open-source applications ranging from simple single-file Arduino sketches to huge cloud applications consisting of thousands of files, but also other things like electronics design ...