There will be a short amount of downtime, for git.ligo.org, docs.ligo.org, and chat.ligo.org, starting around approximately 10am CDT on Tuesday 18th June 2019. This is to enable access controls for GitLab Pages. More information can be found here.

Prioritized Labels
  • bug
    • Project label
  • confirmed
    • Project label
  • critical
    • Project label
  • Other Labels
  • command-line interface
    Issues related to the command-line interface
    • Project label
  • discussion
    • Project label
  • documentation
    • Project label
  • enhancement
    • Project label
  • feedback requested
    Feedback from users and developers is requested for this issue
    • Project label
  • packaging
    Issues related to packaging
    • Project label
  • python3
    Issues related to Python 3 compatibility
    • Project label
  • suggestion
    • Project label
  • support
    • Project label
  • unit tests
    Issues related to unit tests
    • Project label