Github is reporting issues. This is probably why your download failed and outside of where we can so something to fix it.
