Ripple: be able to download platform from github