Maintenance will be performed on git.ligo.org, chat.ligo.org, and docs.ligo.org, starting at approximately 10am CDT Tuesday 20 August 2019. The maintenance is expected to take around an hour and here will be two short periods of downtime, one at the beginning of the maintenance and another at the end.

Prioritized Labels

Star labels to start sorting by priority

Other Labels
  • bug
    • Group label
  • dependency bug
    • Group label
  • feature request
    • Group label
  • more info
    • Group label
  • non-reproducible
    • Group label
  • packaging
    • Group label
  • priority
    • Group label
  • wishlist
    • Project label