src-d / datasets

source{d} datasets ("big code") for source code analysis and machine learning on source code
Other
323 stars 82 forks source link

Support https on pga.sourced.tech #60

Closed campoy closed 6 years ago

campoy commented 6 years ago

Requested on https://github.com/src-d/issues-infrastructure/issues/177

Created here for easier tracking with the milestone

campoy commented 6 years ago

Done!