Edit body of pull request

[ibizaman]

First of all THANK YOU for making and maintaining this project.

Is it possible to edit the body of a pull request after it was submitted?

I tried searching everywhere but couldn't find any info related to that. I tried also magithub-edit-thing on the body but it just told me there's nothing to edit. Dived into source code but leads nowhere.

If that feature does not exist, I'd be happy to dive in a post a PR. I'd of course be happy for pointers. 🙂

[vermiculus]

Not yet 😉 I'd be happy to review a PR.

The only similar thing that you could use as a model is magithub-comment-edit. I think you'll find that a command to edit a pull request body will be very similar to a command for editing an issue body, so you may find magithub-interactive-issue-or-pr helpful for defining both at the same time.

[ibizaman]

Awesome, taking a look right now.

-- Using magithub to post this comment 😉