Github was a hack to get some free binary hosting, IIRC. I think checking the scripts that build the binaries into a repo makes sense, but probably not the binaries themselves.