GitHub user franckcuny opened a pull request:
https://github.com/apache/incubator-distributedlog/pull/11
Handle correctly merge commits.
In the case of pull request #3, there was a merge commit in the pull
request
(https://api.github.com/repos/apache/incubator-distributedlog/commits/2197d49261785a370f22c026cc9fe02f55b7e77c)
which has no login key for the actor, and the script was unable to
handle this situation. Now we check for the presence of the key.
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/franckcuny/incubator-distributedlog
fcuny/fix-dl-merge-script
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/incubator-distributedlog/pull/11.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #11
----
commit 7830603612801118b3cb311995d4e3cbfa08598b
Author: Franck Cuny <[email protected]>
Date: 2016-08-17T03:13:31Z
Handle correctly merge commits.
In the case of pull request #3, there was a merge commit in the pull
request
(https://api.github.com/repos/apache/incubator-distributedlog/commits/2197d49261785a370f22c026cc9fe02f55b7e77c)
which has no login key for the actor, and the script was unable to
handle this situation. Now we check for the presence of the key.
----
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
