Change github protocol to https for uploading commit easily