Skip to content

/ hub

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

Jump to bottom

document pulling a pull request, updating it and pushing it back #2184

Open
ssbarnea opened this issue Jul 8, 2019 · 3 comments
Open

document pulling a pull request, updating it and pushing it back #2184

ssbarnea opened this issue Jul 8, 2019 · 3 comments
Labels
docs

Comments

@ssbarnea
Copy link

@ssbarnea ssbarnea commented Jul 8, 2019

One common use case for project maintainers is to update a broken pull request which was made by someone else.

Hub should be able to help maintainers doing the following steps:

  • grab a pull request
  • update the pull request (rebase or other change)
  • update the pull request (aka pushing it)
@mislav
Copy link
Member

@mislav mislav commented Jul 9, 2019

Sure, do you mean something like:

  1. hub pr checkout 123
  2. git commit ...
  3. git push?

Or any extra steps involved, in your experience? Where do you envision these docs to live?
@mislav mislav added the docs label Jul 9, 2019
@worldofpeace
Copy link

@worldofpeace worldofpeace commented Sep 9, 2019

Isn't As an open-source maintainer at https://hub.github.com/ what we're looking for?
@weitzman
Copy link

@weitzman weitzman commented Oct 14, 2019

FYI There is a pr but not a corresponding push in As an open source maintainer.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
docs
Projects
None yet
Milestone
No milestone
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
4 participants
@mislav @weitzman @ssbarnea @worldofpeace
You can’t perform that action at this time.