Questions Received a pull-request from someone else, how to edit it before merging directly on github? byMRAugust 6, 2022