add second github remote and only pull prebuilt via https
further workaround for github derp

Change-Id: I6c51e725d2265a2574190940eaa4888c3788b41b
1 file changed
tree: 316efc0a9e5c792f976b1c4fbbb81b6e43650317
  1. default.xml
  2. README.mkdn