Skip to content

Conversation

@joshaber
Copy link
Member

@joshaber joshaber commented Oct 2, 2014

So that identifying a merge doesn't require looking up the commit's parents in the ODB.

@jspahrsummers
Copy link
Contributor

👍

jspahrsummers added a commit that referenced this pull request Oct 2, 2014
@jspahrsummers jspahrsummers merged commit 8d0a5f8 into master Oct 2, 2014
@jspahrsummers jspahrsummers deleted the is-merge branch October 2, 2014 19:41
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.

3 participants