Skip to content

Conversation

@sanghyukmoon
Copy link

what if pull request cannot be automatically merged?

@teuben
Copy link
Owner

teuben commented Jul 22, 2016

good one!! I had to manually merge yours and the other submission, git gave me the suggested command line example to do this, I didn't see this in github.

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

Successfully merging this pull request may close these issues.

2 participants