This is a special issue that used to publish your package to the elba package index. ### How to publish your package 1. Commit and push your package source code (with `elba.toml` manifest in the root) to a git remote. (e.g. a public Github repo). 2. Comment on this issue like this: ``` @elba-bot /publish https://github.com/statebox/idris-ct ``` where you can also specify a git branch/tag/commit like this: ``` @elba-bot /publish https://github.com/statebox/idris-ct master ``` 3. Then @elba-bot will start the publish process fully automatically. Ps: If the package has `description`, `homepage` or `repository` fields, those would be shown on the package list.
This is a special issue that used to publish your package to the elba package index.
How to publish your package
elba.tomlmanifest in the root) to a git remote. (e.g. a public Github repo).where you can also specify a git branch/tag/commit like this:
Ps: If the package has
description,homepageorrepositoryfields, those would be shown on the package list.