[GitHub] bigtop pull request #404: BIGTOP-3091: Set Bigtop repo to higher priority

[JunHe77]

Github user JunHe77 closed the pull request at:

    https://github.com/apache/bigtop/pull/404


---