[GitHub] incubator-griffin pull request #345: Head option

2018-07-12 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/incubator-griffin/pull/345 ---

[GitHub] incubator-griffin pull request #345: Head option

2018-07-11 Thread toyboxman
GitHub user toyboxman opened a pull request: https://github.com/apache/incubator-griffin/pull/345 Head option You can merge this pull request into a Git repository by running: $ git pull https://github.com/toyboxman/incubator-griffin headOption Alternatively you can review