@swarnava is editing on Github. I think it's actually easier to create a new pull request with adjusted changes than to figure out how to make the changes in the existing pull request. I know I've done the former, but have never done the latter.