On 6 March 2015 at 09:32, Robert Yang <liezhi.yang@windriver.com> wrote:

Have GitHub changed their archive behaviour?  Last I heard the archives are cached for a while but can be re-generated at any moment, resulting in a checksum change.

Ross