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

Pull request review helpers #537

Closed
pavel-sakun opened this issue Apr 4, 2014 · 6 comments
Closed

Pull request review helpers #537

pavel-sakun opened this issue Apr 4, 2014 · 6 comments

Comments

@pavel-sakun
Copy link

It would be great to have helpers for:

  • assigning pull request to yourself (other user)
  • commenting on it
  • checking out corresponding branch as local
  • merge (comment and merge)
  • close (comment and close)
@mislav
Copy link
Owner

mislav commented Apr 4, 2014

@pavel-sakun
Copy link
Author

Thanks, Mislav.

@nixpulvis
Copy link

In one of the comments you mention wanting to keep hub as an extension to git, would assigning then be considered out of scope?

@mislav
Copy link
Owner

mislav commented Apr 23, 2014

Yes, until recently I've defended against adding non-git-related features to hub.

However recently there are plans to move hub towards being sort of an official CLI tool for GitHub API. As such, it would get some features that are not necessarily part of the git flow. #475

@pavel-sakun I'm going to close this since we're already keeping track of these ideas in individual tickets.

@mislav mislav closed this as completed Apr 23, 2014
@nixpulvis
Copy link

Very much looking forward on a more uniform CLI to GitHub ❤️

@pavel-sakun
Copy link
Author

Sorry, didn't close it, thanks for taking care.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants