Hmm, I already had done that and the pull request is not updated. Do you have another suggestion? I'm not familiar with github workflow yet. I suspect I have to create a new pull request.