I happened to notice that for sometime there has been a discussion about creating an official hhmv docker image.
I asked about this issue in docker-library/official-images/issues/1638 and @yosifkit suggested a PR from upstream.
I have been referred on tweeter(https://twitter.com/HipHopVM/status/705063018606886912) to this repo as the official one, and since it has no open issues and has been praised by the docker-library mantainer, I assume it's stable.
I happened to notice that for sometime there has been a discussion about creating an official hhmv docker image.
I asked about this issue in docker-library/official-images/issues/1638 and @yosifkit suggested a PR from upstream.
I have been referred on tweeter(https://twitter.com/HipHopVM/status/705063018606886912) to this repo as the official one, and since it has no open issues and has been praised by the docker-library mantainer, I assume it's stable.
Would it be terribly inconvenient to ask for a PR to https://github.com/docker-library/official-images?