Priority MEDIUM 44
Registrator is a GitHub app that automates creation of registration pull requests for julia packages to the General registry.
2 records
Registrator is a GitHub app that automates creation of registration pull requests for julia packages to the General registry.
Registrator is a GitHub app that automates creation of registration pull requests for julia packages to the General registry.