1.23: fixed log uploading (broken due to github API changes).