With the github integration, I presume that it is on demand by the developer? How exactly are updates triggered? --Walter (talk) 08:06, 1 June 2014 (EDT)