It seems, github make some processing on microbits hex files. After download from GitHub - error message form Makecode Web: "Sorry, we could not recognize this file". Perhaps Github is not for binary files. It is enough to make a binary file compare between origin HEX file and uploaded/download HEX file. There are many repositories, all with invalid HEX files for micro-bits.
It seems, github make some processing on microbits hex files. After download from GitHub - error message form Makecode Web: "Sorry, we could not recognize this file". Perhaps Github is not for binary files. It is enough to make a binary file compare between origin HEX file and uploaded/download HEX file. There are many repositories, all with invalid HEX files for micro-bits.