-
Notifications
You must be signed in to change notification settings - Fork 301
Closed
Labels
Description
pr_resume() currently works off a branch name, with the intention being that you might be coming back to a branch that you only have locally and don't have a PR for yet.
But when I have multiple PRs "in flight", I often find myself in this situation:
pr_push()to open a PRpr_pause()and let Hadley review while i work on other pull requests- Once he has reviewed, go back and read the review (i.e. I'm looking at the pr number on the screen at this point)
pr_resume(<branch-name>)to incorporate changes- Commit and push changes
- Merge on GitHub
pr_finish()orpr_finish(<pr-number>)to finish up
GitHub doesn't make the branch name particularly easy to copy/paste, the PR number is often easier, so it might be nice if pr_resume() could use the number instead
(i.e. there is a button to copy the branch name when you are in the PR window on GitHub, but it is copied as DavisVaughan:fix/cur-group-zero-row-gdf with the user name prefixed on the branch name, and usethis doesn't know what to do with that)