Received a pull-request from someone else, how to edit it before merging directly on github?-CodePudding

Home > Software engineering > Received a pull-request from someone else, how to edit it before merging directly on github?

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

Time：08-06

(For reference, here is a command line git solution

That works if you have write access to the repo and the pull request author enables Allow edits by maintainers. (Enabled by default)

The checkbox could also be checked or unchecked after creating the pull request.