[GitHub] incubator-griffin pull request #345: Head option
Github user asfgit closed the pull request at: https://github.com/apache/incubator-griffin/pull/345 ---
[GitHub] incubator-griffin pull request #345: Head option
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