Wonook, if we just merge a PR, the commit message in the gitbox repo
history is not what we want. https://gitbox.apache.org/repos/asf?p=reef.git
Note that the last commit message is "Merge pull request #1475 from

Did you discuss this issue in the guide?

On Tue, Jun 12, 2018 at 7:52 AM, Byung-Gon Chun <[EMAIL PROTECTED]> wrote:

Byung-Gon Chun