It seems GitHub is sometimes returning an empty file - the script needs to account for that and currently doesn’t.

Run the update again and it will probably work.