search

elba / index

The default elba package index
MIT License
3 stars 0 forks source link

The Package Control Panel #2

Open andylokandy opened 4 years ago

andylokandy commented 4 years ago

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.

oshmkufa2010 commented 3 years ago

@elba-bot /publish https://github.com/gallais/idris-tparsec

andylokandy commented 3 years ago

@oshmkufa2010 seems that the bot is dead...