DEV Community

Discussion on: Merge GitHub Pull Requests without leaving command line

Collapse
 
emjayoh profile image
Matt Ogram

yeah or just merge the branch locally.. heh.