Putting this here for visibility:

PyPi: https://pypi.org/project/deno/

GitHub: https://github.com/denoland/deno_pypi

(Note that the GitHub link in the first post of the issue linked by this HN post now redirects to the official location, as of the time I write this.)