This is not needed AFAIK, the dist reference is only used on github to build a download URL of the required commit.