-
Notifications
You must be signed in to change notification settings - Fork 8k
Closed
Labels
coreThis issue is not accepting PRs from outside contributorsThis issue is not accepting PRs from outside contributorsenhancementa request to improve CLIa request to improve CLI
Description
Describe the feature or problem you’d like to solve
I'd like to be able to edit a PR I already have open. Obviously editing the commits is just a matter of git push, but I'd like to be able to edit the PR title and body as well.
Potential solutions:
gh pr edit 1234gives prompts similar togh pr createbut only for the title and body. Users could separately push their branch to update the commits.gh pr editlooks for a PR from the current branch and edits it with the current commits and specified title and body.gh pr edit 1234pushes commits from the current branch if they match the PR branch and allows editing the title and body.gh pr create --overwriteacts exactly likegh pr create, but instead of getting an error likea pull request for branch "GMNGeoffrey:foo" into branch "main" already exists:overwrites that PR with the specified configuration.
I think I like the combination of 1 & 4. It seems weird to have create be the only way to edit a PR, but it might also be annoying to have to separately push to the branch or to know a-priori whether a PR already exists. 2 & 3 seem a bit too magic to me.
This gives the ability to fixup already-sent PRs without having to close and create a new one or break out of the CLI.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
coreThis issue is not accepting PRs from outside contributorsThis issue is not accepting PRs from outside contributorsenhancementa request to improve CLIa request to improve CLI