Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Edit body of pull request #385

Open
ibizaman opened this issue Nov 13, 2018 · 2 comments
Open

Edit body of pull request #385

ibizaman opened this issue Nov 13, 2018 · 2 comments
Labels
enhancement idea for a new feature or refinement of existing functionality

Comments

@ibizaman
Copy link
Contributor

ibizaman commented Nov 13, 2018

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
Copy link
Owner

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.

@vermiculus vermiculus added the enhancement idea for a new feature or refinement of existing functionality label Nov 13, 2018
@ibizaman
Copy link
Contributor Author

ibizaman commented Nov 13, 2018

Awesome, taking a look right now.

-- Using magithub to post this comment 😉

@ibizaman ibizaman changed the title Edit body of pull request Edit body of pull request test Nov 13, 2018
@ibizaman ibizaman changed the title Edit body of pull request test Edit body of pull request Nov 13, 2018
@ibizaman ibizaman changed the title Edit body of pull request Edit body of pull request test Nov 13, 2018
@ibizaman ibizaman changed the title Edit body of pull request test Edit body of pull request Nov 13, 2018
@ibizaman ibizaman changed the title Edit body of pull request Edit body of pull request test Nov 13, 2018
@ibizaman ibizaman changed the title Edit body of pull request test Edit body of pull request Nov 13, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement idea for a new feature or refinement of existing functionality
Projects
None yet
Development

No branches or pull requests

2 participants